Title: Introduction to Formal Languages, Author: György E. Révész
Title: Partiality, Truth and Persistence, Author: Tore Langholm