The e Hardware Verification Language - innbundet, Engelsk, 2004