Artifact Details Title An interactive program verifier Catalog Number 102786286 Type Document Date 1973-05 Author Deutch, L. Peter Publisher Xerox PARC (Palo Alto Research Center) Identifying Numbers Document number CSL-73-1 Extent 1 volume (various pagings) Category Technical Report Credit Gift of Robert (Bob) Hagmann Lot Number X7029.2014