A theory and practice of program development | lit.salon