Template:Cite isbn/978703009928

维基百科,自由的百科全书

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