Stanislav Chachkov, Didier Buchs. Interfacing Software Libraries from Nondeterministic Prototypes. Design Autom. for Emb. Sys., 8(4):327-343, 2003. [doi]
@article{ChachkovB03,
title = {Interfacing Software Libraries from Nondeterministic Prototypes},
author = {Stanislav Chachkov and Didier Buchs},
year = {2003},
doi = {10.1023/B:DAEM.0000013066.31883.73},
url = {http://dx.doi.org/10.1023/B:DAEM.0000013066.31883.73},
researchr = {https://researchr.org/publication/ChachkovB03},
cites = {0},
citedby = {0},
journal = {Design Autom. for Emb. Sys.},
volume = {8},
number = {4},
pages = {327-343},
}