Синтез многосвязных автоматических систем методом порядкового отображения - Васильев В.И., Шаймарданова Ф.А (Наука, 1983)