R. O. Scărlătescu, “Programming by steps”, Acta Cybern, vol. 16, no. 2, pp. 293-314, Jan. 2003.