@inproceedings{cd6bde7e4b35406785e7709a5f96d30a,
title = "Using Interface Definition Languages to Support Path Expressions and Programming by Contract",
author = "Damien Watkins",
year = "1998",
language = "English",
isbn = "0 8186 8482 8",
pages = "308 -- 317",
booktitle = "Proceedings Technology of Object-Oriented Languages and Systems 26",
publisher = "IEEE, Institute of Electrical and Electronics Engineers",
address = "United States of America",
note = "TOOLS 26 ; Conference date: 01-01-1998",
}