Transformation Rules for Z

Mark Utting, Petra Malik, Ian Toyn. Transformation Rules for Z. Chicago J. Theor. Comput. Sci., 2010, 2010. [doi]

Abstract

Abstract is missing.