A hidden agenda (2000)

by J Goguen, G Malcolm
Venue:Theoretical Computer Science