Franciso DurĂ¡n Rewriting Logic and Its Applications - Germany Springer 2012 ISBN: 978-3-642-34005-5 Subjects--Topical Terms: Computer ScienceRewriting Logic and Its Applications