1. Balzer, R., and N. Goldman, (1979). Principles of good software specification and their implications for specification languages. Proc. of the IEEE Conference on Specification of Reliable Software, 58–67.
2. Biewald, J., E. Joho. S. Jovalekic, and H. Shelling, (1980). Application of the specification and design technique EPOS to a process control problem. Proc. of the 6th IFAC/IFIP Conference on Digital Computer Applications to Process Control, Düsseldorf, 517–522.
3. Formal verification of embedded software;Boebert;ACM SIGSOFT Software Engineering Notes,1980
4. Operating systems theory;Coffman,1973
5. Furia, N. J. (1979). A comparative evaluation of RSL/REVS and PSL/PSA applied to digital flight control system. AIAA 2nd Computers in Aerospace Conference, Los Angeles, 330–337.