Logic-Based Program Synthesis and Transformation

MLA

King, Andy, et al. Logic-based Program Synthesis and Transformation. Springer Berlin Heidelberg, 2008.

APA

King, A., Kanade, T., King, A. Malcolm, & Kittler, J. (2008). Logic-Based Program Synthesis and Transformation. Springer Berlin Heidelberg.

Chicago

King, Andy, Takeo Kanade, Andrew Malcolm King, and Josef Kittler. Logic-Based Program Synthesis and Transformation. : Springer Berlin Heidelberg, 2008.