An Experience in Using EDT to Process the ISO Transaction Processing Estelle Specification.

Richard Lai An Experience in Using EDT to Process the ISO Transaction Processing Estelle Specification. 137-145 1997 36 Journal of Systems and Software 2 db/journals/jss/jss36.html#Lai97b