TY - BOOK AU - Bauer F L TI - Munich project CIP: v 2 : Program transformation system CIP-S SN - 3-540-18779-0 U1 - 005.1 PY - 1987/// CY - Berlin PB - Springer Verlag KW - Computer programming ER -