Algebras of discrete event models. - Kemal M. Inan; Pravin Pratap Varaiya (Proc. IEEE, 1989)