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.
No references recorded for this publication.
No citations of this publication recorded.