TAPSOFT ''87(proceedings software development - Hartmut Ehrig,Robert Kowalski,giorgio levi (Springer-Verlag, 1987)