@inproceedings{inproceedings3947a102,
title   = {An expert system for software specification},
author = {Kirner, Tereza Gonçalves and Reinhard, Nicolau},
year = {1989},
publisher = {ACM},
booktitle   = {Annual Computer Science Conference}
}