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