Reasoning with a computer in pascal - Solow, Daniel (Reading, Mass. : Addison-Wesley, 1986)
Keywords: Electronic digital computer -- Programming; Pascal (Computer program language)