•E. Börger, R. Stärk: Abstract State
Machines. A Method for High-Level
System Design and Analysis Springer-Verlag 2003, see http://www.di.unipi.it/~AsmBook
•D. L.
Parnas and J. Madey: Functional Documentation for Computer Systems Engineering (Vol.2).
•Mc Master University
TR CRL 237, Hamilton, Ontario, Sept.1991
•D.L.
Parnas and J. Madey: Functional documents for computer systems. In: Science
of Computer Programming 25 (1995), 41-62.