Title: Business Law Monographs (38 Volume Set) / Edition 4, Author: Stephen F. Black
Title: Computation and Reasoning: A Type Theory for Computer Science / Edition 1, Author: Zhaohui Luo