Incremental Formalization with the Hyper-Object Substrate.

Frank M. Shipman III Raymond McCall Incremental Formalization with the Hyper-Object Substrate. 199-227 1999 17 ACM Trans. Inf. Syst. 2 http://doi.acm.org/10.1145/306686.306690 db/journals/tois/tois17.html#ShipmanM99