SML: A high level language for the design and verification of Finite State Machines (1986)

by M C Browne, F M Clarke
Venue:In IFIP WG 10.2 International Working Confl'rencefroni !IDL Descriptions to Guaranteed Correct Circuit Dezigm,. Grenoble, [,n e.. IFIP, Scptc-ber