Formal Support for Specification Design and Implementation (1998)

by Theodosis Dimitrakos