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