共 4 条
[2]
时序逻辑程序设计与软件工程[M]. - 科学出版社 , 唐稚松等著, 2002
[3]
Overview of Teknowledge's domain-specific software architecture program[J] . Allan Terry,Frederick Hayes-Roth,Lee Erman,Norman Coleman,Mary Devito,George Papanagopoulos,Barbara Hayes-Roth.ACM SIGSOFT Software Engineering Notes . 1994 (4)
[4]
Communicating Sequential Process .2 Hoare C A R. . 1985