BOROVEN J. AN EXECUTABLE SPECIFICATION FORMALISM REPRESENTING ABSTRACT DATA TYPES. Period. Polytech. Elec. Eng. [Internet]. 1997 Jan. 1 [cited 2024 Dec. 28];41(2):85-100. Available from: https://pp.bme.hu/ee/article/view/4406