G.: A hidden agenda, (2000)

by J Goguen, Malcolm
Venue:Theoretical Computer Science