Austin and Travis Schuh's Deriving Consistency From LEGOs v3 with CR pdf

This is a PDF of the presentation that Austin and Travis Schuh gave at the September 10, 2005 Coaches Training session.