C. W. Johnson, Michael D. Harrison. Prelog - a System for Presenting and Rendering Logic Specifications of Interactive Systems. In Carlo E. Vandoni, David A. Duce, editors, Eurographics 1990, Proceedings of the European Computer Graphics Conference and Exhibition, Montreux, Switzerland, 4-7 September 1990. North-Holland / Eurographics Association, 1990. [doi]
Abstract is missing.