Wai Wong. Validation of HOL Proofs by Proof Checking. Formal Methods in System Design, 14(2):193-212, 1999.
@article{Wong99:2, title = {Validation of HOL Proofs by Proof Checking}, author = {Wai Wong}, year = {1999}, researchr = {https://researchr.org/publication/Wong99%3A2}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {14}, number = {2}, pages = {193-212}, }