Formal Models and Semantics

1990

Book 2 of 2 in Handbook of Theoretical Computer Science

Volume of Handbook of Theoretical Computer Science