Formal specifications for digital systems. - Neal Andrew Harman (1989)