Second International Workshop on the Theory and Practice of Algebraic Specifications
Subtitle: proceedings of the second International Workshop on the Theory and Practice of Algebraic Specifications, Amsterdam, 25-26 September 1997
By: M.P.K. Sellink, editor
Series: Electronic workshops in computing
Publisher: Springer
Place of publication: London