@misc
{TN_libero_mab2,
author = {
de Braga, Christiano O.
AND
Hæusler, E. Hermann
AND
Meseguer, José
AND
Mosses, Peter D.
},
title = {
Logic Based Program Synthesis and Transformation: Mapping Modular SOS to Rewriting Logic
},
publisher = {Springer Berlin Heidelberg},
isbn = {0302-9743},
year = {2003},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}