Scărlătescu, R. O. (2003). Programming by steps. Acta Cybernetica, 16(2), 293-314. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3625