A Hidden Agenda. Theoretical Computer Science 245 (2000)

by Joseph Goguen, Grant Malcolm
Venue:14] Laurenano Lambán, Vico Pascual, Julio Rubio. An Object-Oriented Interpretation of the EAT System