Zaslat SMS: Putting time into proof outlines Fred B. Schneider, Bard Bloom, Keith Marzullo. [microform] /