Implementing JSD designs in Ada: a tutorial. - W. L. Yeung; G. Topping (ACM SIGSOFT Softw. Eng. Notes, 1990)

Theoretical basis for Jackson System Development. - W. L. Yeung; P. Smith; G. Topping; E. Bailey (Inf. Softw. Technol., 1992)

Semantics-Based Support Tools for High Integrity Ada Software. - W. L. Yeung (Ada-Europe, 1997)

Comparing the State-Based and Behavioural Approaches to Checking Consistency between Associations and State Machines in UML. - W. L. Yeung (IASSE, 2004)

A Dual-Formalism Approach to Checking Consistency of Class and State Diagrams in UML. - W. L. Yeung (VVEIS, 2004)

Checking Consistency between UML Class and State Models Based on CSP and B. - W. L. Yeung (J. Univers. Comput. Sci., 2004)

High-Level Design of a Ternary Asynchronous Multiplexer. - Walter Dosch; W. L. Yeung (IASSE, 2005)

Formal verification of fault-tolerant software design: the CSP approach. - W. L. Yeung; S. A. Schneider (Microprocess. Microsystems, 2005)

A Comparison of Visual Modeling Notations for Web Services Choreography. - W. L. Yeung (PACIS, 2010)