Temporal Logic of Programs, volume 8 (1987)

by F Kröger
Venue:of EATCS Monographs on Theoretical Computer Science