Francesco Parisi-Presicce
-
Formal software specification with refinements and modules of typed graph transformation systems
Journal of Computer and System Sciences