%0 Book
%A  Gilles Barthe (edition)
%T Programming languages and systems :
%U /book/89965248/Programming-languages-and-systems/