Chia-Chu Chiang. An Introduction to TUG: A Language for Writing Reusable Formal Program Specifications. In International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, USA. pages 316-321, IEEE Computer Society, 2005. [doi]
Abstract is missing.