TY - BOOK AU - Ehrig Hartmut ED - International Joint Conference on Theory and Practice of Software Development(TAPSOFT)( 1985 : Berlin ) ED - International Joint Conference on Theory and Practice of Software Development(TAPSOFT) TI - Mathematical foundations of software development : colloquium on trees in algebra and programming : proceedings SN - 3-540-15199-0 U1 - 5.3 PY - 1985/// CY - Berlin PB - Springer Verlag KW - Software development ER -