Casl User Manual, volume 2900 (2004)

by M Bidoit, P D Mosses
Venue:of Lect. Notes Comput. Sci