Maude Implementation from the Thesis