Mathematical Foundations of Programming Semantics: International Conference Manhattan, Kansas | Central Library, Indian Institute of Technology Delhi