Stav dette: Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings / S. Brookes [and others], (eds.).