TY - BOOK AU - Ganzinger H ED - European Symposium on Programming( 2nd : 1988 : Nancy ) ED - European Symposium on Programming 2nd TI - ESOP : proceedings SN - 0-387-19027-9 U1 - 5.1 PY - 1988/// CY - Berlin PB - Springer Verlag KW - Computer programming ER -