Logic Based Program Synthesis and Transformation

MLA

Hill, Patricia M, Takeo Kanade, and Josef Kittler. Logic Based Program Synthesis and Transformation. Springer Berlin / Heidelberg, 2006.

APA

Hill, P. M, Kanade, T., & Kittler, J. (2006). Logic Based Program Synthesis and Transformation. Springer Berlin / Heidelberg.

Chicago

Hill, Patricia M., Takeo Kanade, and Josef Kittler. Logic Based Program Synthesis and Transformation. : Springer Berlin / Heidelberg, 2006.