COMPUTER AIDED CONTROL SYSTEM DESIGN Methods
Tools and Related Topics1994 年出版546 页ISBN:
Digital Computer Applications to Process Control
R.Isermann and H.Kaltenecker1981 年出版581 页ISBN:
The Protection of Computer Software-Its Technology and Applications Second Edition
1992 年出版307 页ISBN:0521424623
Lecture Notes in Computer Science 86 Abstract Software Specifications 1979 Copenhagen Winter School
19791980 年出版567 页ISBN:3540100075