| 其他書名 | An Environment for Incremental Software Development Using Executable, Logic-based Specifications |
| 出版 | Department of Computer Science, University of Illinois at Urbana-Champaign, 1987 |
| URL | http://books.google.com.hk/books?id=CyKkdhKvR0sC&hl=&source=gbs_api |