Logic Program Synthesis and Transformation

Bok av John P Gallagher