Algebraic data types and program transformation
By: Grant Reynold Malcolm
Contributors: Rijksuniversiteit te Groningen
Publisher: Rijksuniversiteit Groningen
Published: 1990
Place of publication: Groningen
Language: eng
Number of pages: 120
Subjects: Abstract data types (Computer science); Computer programs; Testing
Notes: Thesis (doctoral)--Rijksuniversiteit te Groningen, 1990.

Includes bibliographical references (p. [115]-118)

Dutch summary : p. 119-20.