@article{DBLP:journals/cn/ShanklandV01,
author = {Carron Shankland and
Alberto Verdejo},
title = {A case study in abstraction using E-LOTOS and the FireWire},
journal = {Computer Networks},
volume = {37},
number = {3/4},
year = {2001},
pages = {481-502},
ee = {http://dx.doi.org/10.1016/S1389-1286(01)00190-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}