When writing about a new topic (e.g., formal methods), it's generally better to keep other aspects of the presentation (e.g., code samples) simple and familiar to the reader.

Would have preferred the code samples to not be in Lisp (ostensibly also new to the reader, if formal methods are), and also more sparingly used.