TY  - BOOK
AU  - BJORNER,D (ED), JONES,C.B (ED)
TI  - VIENNA DEVELOPMENT METHOD: THE META LANGUAGE (LECTURE NOTE:61)
SN  - NCST
U1  - 607 
PY  - 1978///
CY  - BERLIN
PB  - SV
ER  -