CASL User Manual, volume 2900 of LNCS (2004)

by M Bidoit, P D Mosses