Trapiche
Formal Methods for Interactive Systems (Computers and People Series), de Alan John Dix · Trapiche