Foundations of behavioural specification in rewriting logic (1996)

by Razvăn Diaconescu
Venue:Electronic Notes in Theoretical Computer Science