J. BOROVEN, “AN EXECUTABLE SPECIFICATION FORMALISM REPRESENTING ABSTRACT DATA TYPES”, Period. Polytech. Elec. Eng., vol. 41, no. 2, pp. 85–100, Jan. 1997.