SLOW VIRUS INFECTIONS OF THE CENTRAL NERVOUS SYSTEM WITH 97 ILLUSTRATIONS
VOLKER TER MEULEN AND MICHAEL KATZ1977 年出版260 页ISBN:0387901884
Requirements engineering : from system goals to UML models to software specifications
Lamsweerde2009 年出版682 页ISBN:0470012703