Dominique Houdier. Control: Library Manager. In Berthold Hoffmann, Bernd Krieg-Brückner, editors, Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. Volume 680 of Lecture Notes in Computer Science, pages 374-388, Springer, 1993.
@inproceedings{HoudierL93,
title = {Control: Library Manager},
author = {Dominique Houdier},
year = {1993},
researchr = {https://researchr.org/publication/HoudierL93},
cites = {0},
citedby = {0},
pages = {374-388},
booktitle = {Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System},
editor = {Berthold Hoffmann and Bernd Krieg-Brückner},
volume = {680},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56733-X},
}