M. Seutter, “FORMAL HARDWARE DESCRIPTION USING GLASS”, Period. Polytech. Elec. Eng., vol. 35, no. 3, pp. 221–234, Jan. 1991.