Specifying process and measuring progress in terms of information state

A. J. J. Dick, M. Elizabeth C. Hull, K. Jackson. Specifying process and measuring progress in terms of information state. Journal of Systems and Software, 76(3):311-322, 2005. [doi]

Abstract

Abstract is missing.