@inproceedings{CHI-1994-ShipmanM94a,
	author        = "Frank M. Shipman III and Raymond McCall",
	booktitle     = "{Proceedings of the 12th ACM SIGCHI Conference on Human Factors in Computing Systems}",
	doi           = "10.1145/191666.191768",
	isbn          = "0-89791-650-6",
	pages         = "285--291",
	publisher     = "{ACM}",
	title         = "{Supporting knowledge-base evolution with incremental formalization}",
	year          = 1994,
}