home

Maude specifications

version described in J. of Amb. Int. 2010
(07/12/2009) zip


version described in J. of Amb. Int. 2012
(04/01/2012) link