Formalization in program development (1982)

by P Naur
Venue:BIT Numerical Mathematics