TY  - BOOK
AU  - Schneider Hans-Jochen
ED  - IFIP TC 8 Working Conference on Formal Models and Practical Tools for Information Systems Design( 1979 : Oxford )
ED  - IFIP TC 8 Working Conference on Formal Models and Practical Tools for Information Systems Design
TI  - Formal models and practical tools for information systems design : proceedings
SN  - 0-444-85394-4
U1  - 5.74 
PY  - 1979///
CY  - Amsterdam
PB  - North Holland
KW  - Computer design
KW  - Information systems
ER  -