Selected Extended Papers of ITP 2016: Preface
Origin : Files produced by the author(s)