Үүнийг мессежээр илгээх: Putting time into proof outlines Fred B. Schneider, Bard Bloom, Keith Marzullo. [microform] /