模板:Cite isbn/978703009928

唐稚松等. 时序逻辑程序设计与软件工程. 下册, 软件工程方法与工具. 北京: 科學出版社. 2002. ISBN 7-03-009928-1 (中文(簡體)).