Timothy K. Shih, Chun-Chia Wang, Chi-Ming Chung: Using Z to specify object-oriented software complexity measures. Inf. Softw. Technol. 39(8): 515-529 (1997)