TY - BOOK AU - European Symposium on Programming ( Nancy : 1988 ) TI - ESOP '88 T2 - Lecture notes in computer science SN - 3540190279 U1 - 001.6424 PY - 1988/// CY - Berlin PB - Springer-Verlag ER -