Турский В..
Методология программирования: Пер с. англ. Ред. Ершов А. П..-Москва.: Мир, 1981.-265 с.-(Математическое обеспечение ЭВМ).
