Seutter M. FORMAL HARDWARE DESCRIPTION USING GLASS. Period. Polytech. Elec. Eng. [Internet]. 1991 Jan. 1 [cited 2024 May 20];35(3):221-34. Available from: https://pp.bme.hu/ee/article/view/4544