A FORMAL APPROACH TO HARDWARE DESIGN
by J. Staunstrup, Kluwer, 1994
I have put a new version of the software supporting the
approach of my book on our ftp server.The new version can be
found at:
ftp.id.dtu.dk dir pub/ST
J. Staunstrup