Richard Bornat, Bernard Sufrin. Animating Formal Proof at the Surface: The Jape Proof Calculator. Comput. J., 42(3):177-192, 1999.
@article{BornatS99:0,
title = {Animating Formal Proof at the Surface: The Jape Proof Calculator},
author = {Richard Bornat and Bernard Sufrin},
year = {1999},
researchr = {https://researchr.org/publication/BornatS99%3A0},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {42},
number = {3},
pages = {177-192},
}