Bibliography

GN91

David Garlan and David Notkin.
Formalizing design spaces: Implicit invocation mechanisms.
In VDM'91: Formal Software Development Methods, pages 31-44. Springer-Verlag, LNCS 551, October 1991.

PST91

Ben Potter, Jane Sinclair, and David Till.
An Introduction to Formal Specification and Z. Prentice Hall, 1991.

SG96

M. Shaw and D. Garlan.
Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.

Spi89a

J. M. Spivey.
The Z Notation: A Reference Manual, Prentice Hall, 1989.

Spi89b

J. M. Spivey.
An Introduction to Z and Formal Specification. Software Engineering Journal, 1(4), January 1989.