Naumov, L. and Shalyto, A. 2003. The art of elevator programming. object-oriented programming with explicit conditions emphasis. Information and Control Systems. 6 (Dec. 2003), 38-49.