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