Advanced seminar on foundations of innovative software development II and colloquium on functional and logic prog & specifications : proceedings - Ehrig Hartmut; International Joint Conference on Theory and Practice of Software Development(TAPSOFT)( 2nd : 1987 : Pisa ); International Joint Conference on Theory and Practice of Software Development(TAPSOFT) 2nd Pisa, 1987 (Berlin Springer Verlag, 1987)
Keywords: Software development