Larry M. Hines
-
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
Deriving Focused Lattice Calculi
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications