Formal foundations for software engineering methods - Hubmann Heinrich (Berlin Springer-Verlag, 1997)
Keywords: Software engineering