Books by Patrick Lincoln
All About Maude - A High-Performance Logical Framework
Computational aspects of linear logic
A formally verified algorithm
A formally verified algorithm for interactive consistency under a hybrid fault model
A formally verified alrgothim
A formally verified alrgothim for interactive consistency under a hybrid fault model