SEUTTER, M. FORMAL HARDWARE DESCRIPTION USING GLASS. Periodica Polytechnica Electrical Engineering, [S. l.], v. 35, n. 3, p. 221–234, 1991. Disponível em: https://pp.bme.hu/ee/article/view/4544. Acesso em: 5 jun. 2025.