Peter van Eijk;Henk Eertink
-;-
Making Changes to Formal Specifications: Requirements and an Example
IEEE Transactions on Software Engineering