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