Scărlătescu, R.O. 2003. Programming by steps. Acta Cybernetica. 16, 2 (Jan. 2003), 293-314.