@book{15705, author = {FOSSACS and Alfaro, Luca de,}, title = {Foundations of software science and computational structures :}, publisher = {Springer,}, year = {2009.}, series = {Lecture notes in computer science,}, address = {New York :} }