Design of SEMA: A software system for computer-aided modelling and simulation of sequential machines. - Tuncer I. Ören; Brian Collie (WSC, 1980)