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