Abstraction, specification and implementation techniques, with an application to garbage collection
By: H.B.M. Jonkers.
Series: Mathematical Centre tracts -- 166.
Publisher: Mathematisch Centrum
Published: 1983
Place of publication: Amsterdam
Language: eng
Number of pages: 317
Subjects: Electronic digital computers -- Programming.; Programming (Electronic computers)
Notes: Based on the author's thesis (Ph. D.).

Includes index.

Bibliography: p. 295-305.