Tag Andrew W. Appel, Robert Dockins

Appel and Dockins are expert authors who have produced rigorous, foundational texts that are essential for any serious student of compiler technology and formal methods.