Objects, Interference and the Yoneda Embedding, volume 1 (1995)

by P W O'Hearn, U S Reddy
Venue:of Electronic Notes in Computer Science. Elsevier Science