J.R.R. Tolkien
Dave Mearns, Brian Thorne
Thomas Humphry Ward
Logics of Programs Workshop (1983 Carnegie Mellon University)