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