TY - BOOK A1 - M. Main...]et al.[, )eds.( TI - Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings PB - کتابخانه پژوهشگاه دانشهای بنیادی SN - 101373475 UR /book/101373475/Mathematical-foundations-of-programming-semantics/ ER -