书名: 互模拟理论的逻辑研究= The studies of the logic of bisimulation
ISBN: 978-7-03-048620-2
作 者: 姚从军著
出版社: 科学出版社
出版日期: 2016