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