References

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.

Nii86a

H. Penny Nii. Blackboard systems part 1: The blackboard model of problem solving and the evolution of blackboard architectures. AI Magazine, 7(3):38-53, Summer 1986.

Nii86b

H. Penny Nii. Blackboard systems part 2: Blackboard application systems and a knowledge engineering perspective. AI Magazine, 7(4):82-107, August 1986.

PST91

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

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.