TY  - BOOK
AU  - Lano, K.
TI  - Formal object-oriented development
SN  - 3540199780
U1  - 005.11 
PY  - 1995///
CY  - London
PB  - Springer-Verlag
KW  - Object-Oriented Programming (Computer Science)
ER  -