Andrew Martin, Colin J. Fidge. Lifting in Z. Theoretical Computer Science, 42:197-219, 2001. [doi]
@article{MartinF01, title = {Lifting in Z}, author = {Andrew Martin and Colin J. Fidge}, year = {2001}, url = {http://www.elsevier.nl/locate/entcs/volume42.html}, researchr = {https://researchr.org/publication/MartinF01}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {42}, pages = {197-219}, }