Bustard, W.E. and Winstanley, Adam C. (1994) Making Changes to Formal Specifications: Requirements and an Example. IEEE Transactions on Software Engineering, 20 (8). pp. 562-568. ISSN 0098-5589