Vassileios Karakostas, L. Pourkashani: Automatic Transformation of Hybrid Object and Logic Specification to C++ Code. TOOLS (13) 1994: 363-373