Blum, E. K.; H. Ehrig, and F. Parisi-Presicce. Algebraic specification of modules and their basic interconnections. Journal of Computer and System Sciences, 34:293-339, 1987.

Languages mentioned

• ACT TWO {0}