Formalization in program development (1982)

by P Naur
Venue:NC85] [Nip86a] [Nip86b] [NS56] [OG76] [Owi75] [Par69