Sintez upravljajuščih avtomatov - Lazarev, Vladimir Georgievič (Energija, Moskva, 1978)