@inproceedings{buda2001,
author = {Bilel Gargouri and Mohamed Jmaiel and Abdelmajid Ben Hamadou},
title = {An Environment for Formal Specification and Verification of
Lingware},
booktitle = {Engineering of Intelligent Systems},
publisher = {Springer},
volume = {2070},
series = {Lecture Notes in Artificial Intelligence},
pages = {539--545},
year = {2001},
}