Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)

Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B). 1990.

Bibliographies