BOROVEN, József. AN EXECUTABLE SPECIFICATION FORMALISM REPRESENTING ABSTRACT DATA TYPES. Periodica Polytechnica Electrical Engineering, [S. l.], v. 41, n. 2, p. 85–100, 1997. Disponível em: https://pp.bme.hu/ee/article/view/4406. Acesso em: 18 may. 2024.