Generation of test sequences from formal specifications: GSM 11-11 standard case study.
The implementation of generic smart pointers for advanced defensive programming.
Engineering information integration using object-oriented mediator technology.
SEFT: a search engine for text.