Observational specifications and the indistinguishability assumption (1995)

by Gilles Bernot, Michael Bidoit, Teodor Knapik
Venue:Theoretical Computer Science