TY  - DATA
AU  - Manuel Hermenegildo, S.Doaitse Swierstra
TI  - Programming Languages: Implementations, Logics and Programs
SN  - 9783540450481
PY  - 1995///
PB  - Springer Berlin Heidelberg
KW  - Computer Science
UR  - https://doi.org/10.1007/BFb0026808
ER  -