Rubio, R. (2022). Maude as a Library: An Efficient All-Purpose Programming Interface [Conference paper]. Lecture Notes in Computer Science, 13252, 274–294. https://doi.org/10.1007/978-3-031-12441-9_14