BOROVEN, J. (1997) “AN EXECUTABLE SPECIFICATION FORMALISM REPRESENTING ABSTRACT DATA TYPES”, Periodica Polytechnica Electrical Engineering, 41(2), pp. 85–100.