Date of deposit Date article created Title 100 50 25 10 You searched: "Ostrand, Thomas J." 1 - 3 of 3 Edit My Search | New Search | Selected ItemsCiteExportSharePrintEmail 1 PDF-1(349.37 kb) Axiomatic analysis of programs and program schemes (1977) Thomas J. Ostrand 2 PDF-1(498.37 kb) Tessellation automata with group transformations (1973) Thomas J. Ostrand, Elaine J. Weyuker 3 PDF-1(2.13 MB) Property Preservation by Tessellation Automata (1972) Thomas J. Ostrand Close