Specification and proof techniques for serializers (1979)

by C HEWITT, R ATKINSON
Venue:IEEE Transactions on Software Engineering