"Теория схем программ" - читать интересную книгу автора (Котов В.Е., Сабельфельд В.К.)