On formalized computer programs (1970)

by D C Luckham, D M R Park, M S Paterson
Venue:Journal of System and Computer Sciences