TY  - BOOK
AU  - IFIP TC2 Working Conference on Formal Description (...) Garmisch-Parten Kirchen 1982
TI  - Formal description of programming concepts -II: Proceedings /ed. by Dines Bjorner
T2  - International Federation for Information Processing
SN  - 0444866191
U1  - 005.1 
PY  - 1983///
CY  - Amsterdam
PB  - N-H
ER  -