Anthony Finkelstein. Making formal specifications dynamic objects. In Mark Dowson, editor, Proceedings of the Third International Software Process Workshop (ISPW 86), November 1986, Beckenridge, Colorado, USA. pages 133-136, IEEE Computer Society, 1986.
Abstract is missing.