On formal semantics of object systems with data and object attributes - Parnitzke, Daniel (Forschungsberichte des Fachbereichs Informatik, 2001)