1. A Knowledge Based Approach to Softwere Development;Aslett,1991
2. Intelligent Support for Software Construction, and Higher Education in Informatics at The Slovak TU : teh DEC Connection;Navrat,1992
3. The Z Notation;Spivey,1989
4. A Specification of The Soar Cognitive Architecture in Z.;Milnes,1992