Timothy K. Shih Chun-Chia Wang Chi-Ming Chung Using Z to specify object-oriented software complexity measures. 515-529 1997 39 Information & Software Technology 8 http://dx.doi.org/10.1016/S0950-5849(97)00001-3 db/journals/infsof/infsof39.html#ShihWC97