https://babatohinadupus.eventfr.com/verification-of-sequential-and-concurrent-programs-book-22689tw.php