@BOOK{ Book!D - 95026867,
AUTHOR = "edited by Austin Melton",
TITLE = "Mathematical founations of programming semantics; International Conference Manhattan, Kansas, April 11-12, 1985 Proceedings",
LIBRARY= "کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان",
SUBJECT = "Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Electronic digital computers - Programming",
URL = "/book/95026867/Mathematical-founations-of-programming-semantics/"}