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