Lifting in Z

Andrew Martin, Colin J. Fidge. Lifting in Z. Theoretical Computer Science, 42:197-219, 2001. [doi]

Abstract

Abstract is missing.