A Hidden Agenda (2000)

by Joseph Goguen, Grant Malcolm
Venue:Theoretical Computer Science