Template:Cite isbn/978703007006

唐稚松. 时序逻辑程序设计与软件工程(上). 北京: 科学出版社. 1999. ISBN 7-03-007006-2 (中文(简体)).