ESOP '88 : 2nd European symposium on programming : Konf. Nancy, France, 21.- 24. March 1988 - Ganyinger, H (Lecture Notes in Computer Science, 1988)