"Программирование в содержательных обозначениях" - читать интересную книгу автора (Брудно А.Л.)