Formal methods for the verification of digital circuits by C.A.J. van Eijk

 
domReadyCallbacks.push( function() { new Error('Sorry, you can only do this when you're logged in. If you're not a member yet, please join us.'); });