![]() |
@article{DBLP:journals/apal/HancockH06,
author = {Peter Hancock and
Pierre Hyvernat},
title = {Programming interfaces and basic topology},
journal = {Ann. Pure Appl. Logic},
volume = {137},
number = {1-3},
year = {2006},
pages = {189-239},
ee = {http://dx.doi.org/10.1016/j.apal.2005.05.022},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2006-02-07 by Michael Ley (ley@uni-trier.de)