SMS: Programming languages and systems, ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings / Hanne Riis Nielson (ed.).