On formalised computer programs (1970)

by D C Luckham, D M R Park, M Paterson
Venue:JCSS