Proof systems for structured specifications with observability operators (1997)

by R Hennicker, M Wirsing, M Bidoit
Venue:Theoretical Computer Science