Realizable and unrealizable speci of reactive systems (1989)

by M Abadi, L Lamport, P Wolper
Venue:LNCS