Software Verification And Analysis door William Stanley & Janusz Laski