ASD: The action semantic description tools (1996)

by Arie van Deursen, Peter D Mosses
Venue:In AMAST’96, Proc. 5th Intl. Conf. on Algebraic Methodology and Software Technology, volume 1101 of LNCS