Title: An operational approach to object-oriented software development