Izdaja: Jr., Edmund M. Clarke (Carnegie Mellon University)