Combining angels, demons and miracles in program specifications (1992)

by R J Back, J von Wright
Venue:Theoretical Computer Science