Correctness of programs with function procedures [microvorm] / J.W. de Bakker, J.W.Klop, J.-J.Ch. Meyer

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

rdfs:label	"Correctness of programs with function procedures [microvorm] / J.W. de Bakker, J.W.Klop, J.-J.Ch. Meyer"
schema:name	"Correctness of programs with function procedures [microvorm]"
schema:author	Bakker, Jacobus Willem de (1939-)
schema:contributor	Klop, Jan Willem (1945-)
	Meyer, John-Jules Charles (1954-)
schema:sameAs	<http://www.worldcat.org/oclc/63470248>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/1259b7ad1ddd1ed46c382c1108df6704>
http://purl.org/dc/terms#issued	"1980"
schema:inLanguage	"en"
schema:numberOfPages	12833
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/5751f31b655dbf8d0c8fba3fefcb4414>