Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B). 1990.
@book{leeuwen90:1, title = {Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)}, year = {1990}, tags = {e-science}, researchr = {https://researchr.org/publication/leeuwen90%3A1}, cites = {0}, citedby = {0}, }