Functional models of procedural programs | lit.salon