Transformation of Class Diagrams into Z Specifications. - Supattara Napapak; Wiwat Vatanawood (Software Engineering Research and Practice, 2004)