Peter Naur Formalization in Program Development. 437-453 1982 22 BIT 4 db/journals/bit/bit22.html#Naur82