Title: CIL Programming: Under the Hood of .NET / Edition 1, Author: Jason Bock
Title: First Course in Algorithms Through Puzzles, Author: Ryuhei Uehara
Title: Learning Search Control Knowledge for Equational Deduction, Author: S. A. Schulz