"Barry Hartley Slater (1936-2016): A Logical Obituary."

Claus-Peter Wirth (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics