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