The International Conference on
Software Engineering Research and Practice (SERP'03)
Las Vegas, Nevada, U.S.A.
June 23-26, 2003 Chartchai Doungsa-ard and Taratip
Suwannasart, "An Automatic Approach to Transform CafeOBJ Specifications
to Java Template Code"