Scărlătescu, Raluca Oana. 2003. “Programming by Steps”. Acta Cybernetica 16 (2), 293-314. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3625.