TY  - BOOK
AU  - Bjrner Dines
ED  - IFIP Working Conference on Formal Description of Programming Concepts( 2nd : 1982 : FRG )
ED  - IFIP Working Conference on Formal Description of Programming Concepts 2nd
TI  - Formal description of programming concepts : proceedings
SN  - 0-444-86619-1
U1  - 5.1 
PY  - 1983///
CY  - Amsterdam
PB  - North Holland
KW  - Computer programming
ER  -