TY  - SER
AU  - Lee, Jonathan
AU  - Pan, Jiann-I
AU  - Xue, Nien-Lin
TI  - An Integrated Combination of Jsd Abd Firnat Notations
KW  -  for mal Specification
KW  - In for mal Mathods
KW  - Methods Integration
ER  -