LOPSTR (Symposium) Madrid, Spain), & Leuschel, M. (2003). Logic based program synthesis and transformation: 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers. Springer.
Chicago Style (17th ed.) CitationLOPSTR (Symposium) Madrid, Spain), and Michael Leuschel. Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : Revised Selected Papers. Berlin ; New York: Springer, 2003.
MLA (9th ed.) CitationLOPSTR (Symposium) Madrid, Spain), and Michael Leuschel. Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : Revised Selected Papers. Springer, 2003.
Warning: These citations may not always be 100% accurate.