B Maude: A formal executable environment for Abstract Machine Notation Descriptions | Publicación