@BOOK{ Book!D - 90388214,
AUTHOR = " edited by Olivier Danvy [and others].",
TITLE = "Automatic program development :",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Computer algorithms.,Program transformation (Computer programming),Programming (Mathematics),Computer algorithms.,Informatique.,MATHEMATICS-- Linear & Nonlinear Programming.,Program transformation (Computer programming),Programming (Mathematics)",
URL = "/book/90388214/Automatic-program-development/"}