Occam as a hardware description language. - G. V. Collis; E. J. Kappos (Softw. Eng. J., 1987)