http://www.lemport.ru/prog/index.html

может кто-то что-то для себя найдет интересное!