Expressing JSD in Z. - Jonathan Lee; Wei T. Huang; Cheng-Kai Chang; Jiann-I Pan (COMPSAC, 1995)

Integrating object-oriented requirements specifications with formal notations. - Jonathan Lee; Jiann-I Pan; Wei T. Huang (ICTAI, 1995)

A Task-Based Approach to Verifying Conceptual Models. - Jonathan Lee; Lein F. Lai; Wei T. Huang (COMPSAC, 1996)

Task-Based Specifications Through Conceptual Graphs. - Jonathan Lee; Lein F. Lai; Wei T. Huang (IEEE Expert, 1996)

A Fuzzy Petri Nets Based Mechanism for Fuzzy Rules Reasoning. - Stephen J. H. Yang; William C. Chu; Jonathan Lee 004; Wei T. Huang (COMPSAC, 1997)

OOSZ: An Integration of Bailin's Object-Oriented Analysis and Formal Specifications. - Jonathan Lee; Jiann-I Pan; Wei T. Huang (J. Inf. Sci. Eng., 1997)