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: 19 may. 2024.