A practical method for rigorously controllable hardware design (1997)

by E Börger, S Mazzanti
Venue:ZUM’97: The Z Formal Specification Notation, volume 1212 of Lecture Notes in Computer Science