Basin and Nils Klarlund. Hardware Verification using Monadic Second-Order Logic (1995)

by A David