Application of algebra of events and states to the synthesis of mine automation schemes - Tretyakov , M. (Journal of Mining Institute, 1968)