Correctness of programs with function procedures (extended abstract) / by J. W. de Bakker, J. W. Klop and J.-J. Ch. Meyer

<http://data.bibliotheken.nl/id/nbt/p060193506>

rdfs:label	"Correctness of programs with function procedures (extended abstract) / by J. W. de Bakker, J. W. Klop and J.-J. Ch. Meyer"
schema:name	"Correctness of programs with function procedures (extended abstract)"
schema:author	<https://data.bibliotheken.nl/.well-known/genid/4a57808eb37f8f76e2e2bb28400f1253>
schema:contributor	Meyer, John-Jules Charles (1954-)
	Klop, Jan Willem (1945-)
schema:sameAs	<http://www.worldcat.org/oclc/65243527>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/b26b7404bac70774313685f84eb158cf>
http://purl.org/dc/terms#issued	"1981"
schema:bookEdition	"Prepr."
schema:inLanguage	"en"
schema:numberOfPages	18
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/3dbebcb63c2ca13b1822e37984217ded>