C. T. P. Burton

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1992

2 C. T. P. Burton: Program Transformation by Derivor Manipulations. PEPM 1992: 90-97

1 C. T. P. Burton: Program Morphisms. Formal Asp. Comput. 4(6A): 693-726 (1992)

1992
2		C. T. P. Burton: Program Transformation by Derivor Manipulations. PEPM 1992: 90-97
1		C. T. P. Burton: Program Morphisms. Formal Asp. Comput. 4(6A): 693-726 (1992)