Fey, W. "Introduction to algebraic specification in ACT TWO" Technical Report 86-13, Technische Universitat Berlin, 1986
(1986)
Languages mentioned
ACT TWO
{0}