Prelog - a System for Presenting and Rendering Logic Specifications of Interactive Systems

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]

@inproceedings{JohnsonH90-0,
  title = {Prelog - a System for Presenting and Rendering Logic Specifications of Interactive Systems},
  author = {C. W. Johnson and Michael D. Harrison},
  year = {1990},
  doi = {10.2312/egtp.19901038},
  url = {https://doi.org/10.2312/egtp.19901038},
  researchr = {https://researchr.org/publication/JohnsonH90-0},
  cites = {0},
  citedby = {0},
  booktitle = {Eurographics 1990, Proceedings of the European Computer Graphics Conference and Exhibition, Montreux, Switzerland, 4-7 September 1990},
  editor = {Carlo E. Vandoni and David A. Duce},
  publisher = {North-Holland / Eurographics Association},
  isbn = {978-0444886835},
}