Title: Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra, Author: W.H.J. Feijen
Title: Computation and Reasoning: A Type Theory for Computer Science / Edition 1, Author: Zhaohui Luo