[AGI97] "Formalizing Modeling and Analysis of
Architectural Standards," R. Allen, D. Garlan, J. Ivers.
1997.
[AS83] "Concepts and Notations for Concurrent
Programming," Andrews and Schneider. Computing Surveys,
Vol. 15, No. 1, March 1983.
[DG90] "A Formal Specification of an Oscilloscope,"
N. Delisle and D. Garlan. IEEE Software, Sept 1990.
[Fuzz] The Fuzz Manual, J. M. Spivey, 1988.
[GH93] "An Introduction to Larch," Guttag
and Horning. Chapter 3 of Larch: Languages and Tools for Formal
Specification, Springer-Verlag, 1993.
[Ha87] "Statecharts: a visual formalism for
complex systems," D. Harel. Science of Computer Programming,
8:231-274, 1987.
[Jen91] "Coloured Petri Nets: A High Level Language
for System Design and Analysis," K. Jensen. In High-level
Petri Nets: Theory and Application, K. Jensen and G. Rozenberg
(eds.) Springer-Verlag, 1991.
[Lam90] "A Temporal Logic of Actions," Leslie Lamport.
Digital Equipment Corporation Systems Research Center, April 1990.
[Pet77] "Petri Nets," J. L. Peterson. ACM
Computing Surveys, Sept 1977.
[PST] An Introduction to Formal Specification
and Z, Ben Potter, Jane Sinclair, and David Till. Prentice-Hall
International, 1991.
[SEM] Software Engineering Mathematics, J.C.P.
Woodcock and M. Loomes. Addison-Wesley, 1988.
[ZRM] The Z Notation: A Reference Manual,
J. M. Spivey. Prentice-Hall International, 1989.
Supplemental Reference (on Reserve in the
SCS Library)
[D90] Z: An Introduction to Formal Methods,
Antoni Diller. Wiley, 1990.
[GH93] Larch: Languages and Tools for Formal Specification,
Guttag and Horning. Springer-Verlag, 1993
[GS95] A Logical Approach to Discrete Math,
David Gries and Fred B. Schneider. Springer-Verlag, 1993.
[HJ95] Concurrent Systems: Formal Development
in CSP, M.G. Hinchey and S.A. Jarvis. McGraw-Hill, 1995.
[Ho85] Communicating Sequential Processes, C.A.R.
Hoare. Prentice-Hall International, 1985.
[Ja97] The Way of Z: Practical Programming
with Formal Methods, Jonathan Jacky. Cambridge, 1997.
[Lo87] Lotos. ISO 8807 Report.
[RM92] Discrete Mathematics for Computer Science,
P. Rajagopal and J. Saunders, 1992.
[WD97] Using Z: Specification, Refinement, and
Proof, Woodcock and Davies. Prentice-Hall International, 1997
[WL88] Software Engineering Mathematics,
Woodcock and Loomes, Addison-Wesley, 1988