Implementing a Taxis compiler: Brian A. Nixon, K. Lawrence Chung, David Lauzon, Alex Borgida, John Mylopoulos and Martin Stanley: Computer Systems Research Institute, University of Toronto, Jan. 1987
作者：
Highlights：
•
摘要
论文关键词：
论文评审过程：Available online 20 May 2003.
论文官网地址：https://doi.org/10.1016/0167-9236(88)90117-0
