Carl Hewitt Russell R. Atkinson Specification and Proof Techniques for Serializers. 10-23 1979 5 IEEE Trans. Software Eng. 1 db/journals/tse/tse5.html#HewittA79