A fully abstract model for sequential computation

Michael Marz. A fully abstract model for sequential computation. Electronic Notes in Theoretical Computer Science, 35:133-152, 2000. [doi]

Abstract

Abstract is missing.