Supporting knowledge-base evolution with incremental formalization (1994)

by F M Shipman, R McCall
Venue:Proceedings of the SIGCHI Conference on Human Factors in Computing System