Formal Relationships in Sequential Object Systems - Kerfoot, E (2010)