Artifact Details Title An interactive program verifier Catalog Number 102660553 Type Document Date 1973-05 Author Deutsch, Laurence Peter Publisher Xerox PARC (Palo Alto Research Center) Category Technical Report Collection Title Company Collection Lot Number X3067.2005