Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics. Elsevier and MIT Press, 1990.
@book{Leeuwen90a,
title = {Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics},
year = {1990},
tags = {e-science},
researchr = {https://researchr.org/publication/Leeuwen90a},
cites = {0},
citedby = {0},
editor = {Jan van Leeuwen},
publisher = {Elsevier and MIT Press},
isbn = {0-444-88074-7},
}