@incollection{Alfaro,
    doi = {10.1007/1-4020-3532-2_3},
    url = {https://doi.org/10.1007%2F1-4020-3532-2_3},
    publisher = {Springer-Verlag},
    pages = {83--104},
    author = {Luca Alfaro and Thomas A. Henzinger},
    title = {Interface-Based Design},
    booktitle = {Engineering Theories of Software Intensive Systems}
}

@incollection{Alfaro, doi = {10.1007/1-4020-3532-2_3}, url = {https://doi.org/10.1007%2F1-4020-3532-2_3}, publisher = {Springer-Verlag}, pages = {83--104}, author = {Luca Alfaro and Thomas A. Henzinger}, title = {Interface-Based Design}, booktitle = {Engineering Theories of Software Intensive Systems} }