From rewrite theories to temporal logic theories (1998)

by G Denker
Venue:Electronic Notes in Theoretical Computer Science