Department of Mathematics and Computer Science Lecture Notes, LATEX format 101 pages with subject and notation index (1999)

by Operational Semantics
Venue:Foundations of Security Summer School