Title: Towards the analysis of object-oriented software systems
First published: 1995