H. Exner, and F. D. Fischer. European Conference on Computer Algebra 2, volume 204 of Lecture Notes in Computer Science, page 462-463. Springer, (1985)
H. Exner, and F. D. Fischer. European Conference on Computer Algebra 2, volume 204 of Lecture Notes in Computer Science, page 462-463. Springer, (1985)
Peter Pepper, Jürgen Exner, and Mario Südholt. Formal Methods in Programming and Their Applications, volume 735 of Lecture Notes in Computer Science, page 217-238. Springer, (1993)
Peter Pepper, Jürgen Exner, and Mario Südholt. Formal Methods in Programming and Their Applications, volume 735 of Lecture Notes in Computer Science, page 217-238. Springer, (1993)