PAPERS FROM THE LITERATURE

Petri nets

J. Peterson
"Petri Nets," ACM Computing Surveys 9(3) Sept. 1977, pp. 223-252
T. Murata
"Petri Nets: Properties, Analysis, and Applications," Proceedings of the IEEE 77(4) Apr. 1989, pp. 541-580

Axiomatic verification

C.A.R. Hoare
"An Axiomatic Basis for Computer Programming," Communications of the ACM 12(10) Oct. 1969, pp. 576-583
C.A.R. Hoare and N. Wirth
"An Axiomatic Definition of the Programming Language PASCAL," Acta Informatica 2, 1973, pp. 335-355
D. Gries
"The Science of Programming," Springer-Verlag, New York, 1981.

Functional verification

H. Mills
"The New Math of Computer Programming," Communications of the ACM 18(1), Jan. 1975, pp. 43-48

Algebraic data types

J. Guttag, E. Horowitz, and D. Musser
"Abstract Data Types and Software Validation," Communications of the ACM 21(12) Dec. 1978, pp. 1048-1064
J. Guttag
"Notes on Type Abstraction (Version 2)," IEEE Tr. on Software Eng. 6(1) Jan. 1980 pp. 13-23

Software process modeling

M. Kellner
"Software Process Modeling," Technical Review 1989, SEI, pp. 23-54