Theory of Computation(TOC)
COMPUTER NETWORKING THEORY
Programming in Martin-Löf's Type Theory: An Introduction
New Switching Theory and Logic Design (STLD)