ESOP '90 : Konf. 3rd European symp. on programming, Copenhagen, Denmark, 15.- 18. May 1990 - Jones, N (Lecture Notes in Computer Science, 1990)