Implementing higher-order algebraic specifications / J. Heering

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

rdfs:label	"Implementing higher-order algebraic specifications / J. Heering"
schema:name	"Implementing higher-order algebraic specifications"
schema:author	Centrum voor Wiskunde en Informatica (Amsterdam). Computer Science/Department of Software Technology
	Heering, Jan (computerwiskunde)
schema:sameAs	<http://www.worldcat.org/oclc/65842043>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/13c459614a197e23b532200803b238f8>
http://purl.org/dc/terms#issued	"1991"
schema:about	computerwiskunde
schema:inLanguage	"en"
schema:isPartOf	Report / Department of Computer Science
schema:numberOfPages	12
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/0975cef7c6aeea13d25f169416b4aa55>