Cover design Luca Cardelli. A collection of articles edited by Carl A. Gunter and John C. Mitchell.

Excerpt from Introduction

Contents

Bibtex entry and Library of Congress cataloging information

Contents, Introduction and Chapter Headings (postscript file)

Gunter's TAOOP info at U Penn

MIT Press display