meta-calculus for formal system development by Matthias Weber | Menrva Books | MenrvaBooks