Abstraction and specification in program development | lit.salon