@书籍{zbMATH01878568，编辑={McIver，Annabelle and Morgan，Carroll}，标题＝{编程方法论}，国际标准图书编号={0-387-95349-3}，年份={2003}，出版商={纽约，NY:Springer}，语言={英语}，关键词={68N01、68N19、68N30、68-02}，zbMATH={1878568}，Zbl={1030.68010}}