TY  - BOOK
AU  - Feijs,L.M.G.
AU  - Jonkers,H.B.M.
TI  - Formal specification and design
T2  - Cambridge tracts in theoretical computer science
SN  - 9780521435925 (pbk.)
PY  - 2005///
CY  - New York
PB  - Cambridge University Press
KW  - Computer software
KW  - Development
KW  - Object-oriented programming (Computer science)
N1  - Includes index
UR  - http://www.loc.gov/catdir/enhancements/fy0632/2006273427-t.html
ER  -