"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-540-71999-1","All About Maude - A High-Performance Logical Framework","How to Specify, Program, and Verify Systems in Rewriting Logic","Manuel Clavel; Francisco Durán; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer; Carolyn Talcott",2007,"1","https://doi.org/10.1007/978-3-540-71999-1",419,""