doi dblp Incremental Formalization with the Hyper-Object Substrate Frank M. Shipman III | Raymond McCall 1999 Volume 17 Issue 2