Relations and refinement in circuit design (1990)

by Geraint Jones, Mary Sheeran
Venue:Proc. BCS FACS workshop on refinement