Implementation and Use of Annotations in HOL

• 1 January 1993
• book chapter
• Published by Elsevier
• p. 407-426
• https://doi.org/10.1016/b978-0-444-89880-7.50032-2

Abstract