(2017). Logic-Based Program Synthesis and Transformation. Springer.
استشهاد بنمط شيكاغوLogic-Based Program Synthesis and Transformation. Springer, 2017.
MLA استشهادLogic-Based Program Synthesis and Transformation. Springer, 2017.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.