题名:	进程代数-对称与动作细化-数学机械化丛书(10) / ,
ISBN:	978-7-122-00693-6 价格： 25.00
出版发行:	出版地：出版社：科学出版社出版日期： 200707
主要责任者:	王永祥吴尽昭