Parallel programming in Maude (1992)

by Jose Meseguer, Timothy Winkler
Venue:SRI International, Computer Science Laboratory