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