Foundations of computing

Series by Benjamin C. Pierce