Program correctness over abstract data types, with error-state semantics /

Bibliographic Details

Main Author:	Tucker, J. V. (John V.), 1952-
Other Authors:	Zucker, J. I. (Jeffery I.), 1942-
Format:	Book
Language:	English
Published:	Amsterdam ; New York : North-Holland ; 1988.
Series:	CWI monograph ; 6.
Subjects:	Computer programming. Abstract data types (Computer science)