Seutter, M. “FORMAL HARDWARE DESCRIPTION USING GLASS”, Periodica Polytechnica Electrical Engineering, 35(3), pp. 221–234, 1991.