An Introduction using Prolog to Specify Programming Language Semantics (2016)

Plan 9: The Way the Future Was