The Art of Lift Programming. Object-Oriented Programming with Explicit States Separation - L. A. Naumov; A. A. Shalyto (Informational Control Systems, 2003)