Seutter, M. 1991. “FORMAL HARDWARE DESCRIPTION USING GLASS”. Periodica Polytechnica Electrical Engineering 35 (3):221-34.