Theory and practice of object systems (John Wiley & Sons, 1995)