Klaeren, H. "A Constructive Method for Abstract Algebraic Software Specification", Theor Computer Sci 30, pp.134-204, 1984.
(1984)
Languages mentioned
SRDL
{1984}