Formal specifications as constructive diagrams

Carol Britton, Martin Loomes, Richard Mitchell. Formal specifications as constructive diagrams. Journal of Systems Architecture, 37(1-5):175-178, 1993. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: