TY  - BOOK
ED  - IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts( 3rd : 1986 : Denmark )
ED  - IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts 3rd
TI  - Formal description of programming concepts : proceedings
SN  - 0-444-70253-9
U1  - 5.1 
PY  - 1987///
CY  - Amsterdam
PB  - North Holland
KW  - Computer science
KW  - Logic programming
ER  -