A fully abstract model for sequential computation - Marz, Michael (Logos-Verl., 2000)