publications

See the publication list on my Google Scholar profile, or on DBLP.

Book: Tobias Nipkow, Gerwin Klein: Concrete Semantics, Springer 2014.