APA引文

King, A. (2017). Logic-Based Program Synthesis and Transformation. Springer.

Chicago Style Citation

King, Andy. Logic-Based Program Synthesis and Transformation. Springer, 2017.

MLA引文

King, Andy. Logic-Based Program Synthesis and Transformation. Springer, 2017.

警告：這些引文格式不一定是100％准確.