Reasoning about complexity in object-oriented programs (1994)

by H W Schmidt, W Zimmermann
Venue:In Proc. International Conference Programming Concepts, Methods and Calculi