Hiding more of hidden algebra (1999)

by J Goguen, G Ro¸su
Venue:Proc. Formal Methods (FM’99), volume 1709 of Lecture Notes in Computer Science