Mathematical Foundations of Programming (Systems Programming Series) by F. S. Beckman | Menrva Books