TY  - BOOK
AU  - Ehrig., Ed
TI  - Mathematical foundations of software development, proceedings of the International Joint conference, Berlin, 1985, volume 1: Colloquium on trees in algebra and programming
CY  - Berlin
ER  -