Electronic chips & systems design languages - Mermet, Jean (Kluwer Academic Publishers, 2001)