Arend Rensink, Roberto Gorrieri. Vertical Implementation. Inf. Comput., 170(1):95-133, 2001.
@article{RensinkG01,
title = {Vertical Implementation},
author = {Arend Rensink and Roberto Gorrieri},
year = {2001},
researchr = {https://researchr.org/publication/RensinkG01},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {170},
number = {1},
pages = {95-133},
}