Automatic Verification Methods for Finite State Systems häftadEngelska, 1990