Casl user manual (2004)

by M Bidoit, P D Mosses
Venue:LNCS