%0 Book
%A  Christel Baier, Ugo Dal Lago (eds.).
%T Foundations of software science and computation structures :
%U /book/90232868/Foundations-of-software-science-and-computation-st/