TY  - BOOK
AU  - Tucker J V
AU  - Zucker J I
TI  - Program correctness over abstract data types,with error-state semantics
SN  - 0-444-70340-3
U1  - 005.14 
PY  - 1988///
CY  - Amsterdam
PB  - North Holland
KW  - Computer science
KW  - Error state semantics
ER  -