Lau, K. (2001). Logic Based Program Synthesis and Transformation: [E-Book] : 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers / by Kung-Kiu Lau. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg.
Chicago Style CitationLau, Kung-Kiu. Logic Based Program Synthesis and Transformation: [E-Book] : 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers / By Kung-Kiu Lau. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001.
MLA CitationLau, Kung-Kiu. Logic Based Program Synthesis and Transformation: [E-Book] : 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers / By Kung-Kiu Lau. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001.