@BOOK{ Book!D - 101382759,
AUTHOR = "Didier Bert, Christine Choppy, Peter Mosses )eds.(",
TITLE = "Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(",
URL = "/book/101382759/Recent-trends-in-algebraic-development-techniques/"}