Teorija i metody avtomatizacii proektirovanija vyčislitel'nyh sistem - Breuer, Melvin A. (Mir - Moskva, 1977)