Reflections on reflections (1997)

by G Barthe, J Hatcliff, M H Sørensen
Venue:Proc. of 9th Int. Symp. on Programming Languages: Implementations, Logics, and Programs, PLILP’97