Peter van Emde Boas. Machine Models and Simulation. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B). pages 1-66, 1990.
@incollection{Boas90,
title = {Machine Models and Simulation},
author = {Peter van Emde Boas},
year = {1990},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/Boas90},
cites = {0},
citedby = {0},
pages = {1-66},
booktitle = {Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)},
}