%0 Book
%A / Gilles Barthe
%T Programming Languages and Systems
%U /book/93573145/Programming-Languages-and-Systems/