Mike Hinchey, Jonathan P. Bowen, Ernst-RĂ¼diger Olderog Provably Correct Systems - Springer Springer 2017 ISBN: 9783319486284 Source: EBOOK