%0 Book
%A  by Maribel Fernández
%T Programming languages and operational semantics :
%U /book/90037022/Programming-languages-and-operational-semantics/