Sintez nadežnych verojatnostnych avtomatov - Lorenc, Ajvar Arvidovič (Zinatne, 1975)