Integrating ASMs into the Software Development Life Cycle. - Egon Börger; Luca Mearelli (J. Univers. Comput. Sci., 1997)

Refining an ASM Specification of the Production Cell to C++ Code. - Luca Mearelli (J. Univers. Comput. Sci., 1997)