P. Inverardi;M. Nesi
-;-
Equational reasoning about LOTOS specifications: a rewriting approach
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design