Toward a design apprentice: supporting reuse and evolution in software design. - Richard C. Waters; Yang Meng Tan (ACM SIGSOFT Softw. Eng. Notes, 1991)

Semantic analysis of Larch Interface Specifications. - Yang Meng Tan (Larch, 1992)

Interface Language for Supporting Programming Styles. - Yang Meng Tan (Workshop on Interface Definition Languages, 1994)

LCLint: A Tool for Using Specifications to Check Code. - David E. Evans 001; John V. Guttag; James J. Horning; Yang Meng Tan (SIGSOFT FSE, 1994)

Formal specification techniques for promoting software modularity, enhancing documentation, and testing specifications. - Yang Meng Tan (1994)