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

Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics. Elsevier and MIT Press, 1990.

Abstract

Abstract is missing.