أرسل هذا في رسالة قصيرة: Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings / S. Brookes [and others], (eds.).