ReAEections on reAEections (1997)

by G Barthe, J Hatclioe, M H Srensen
Venue:Proceedings of the Ninth International Symposium on Programming Languages, Implementations, Logics and Programs, number 1292 in Lecture Notes in Computer Science