Peter Van Roy
Compiler Mozart Mozart/OZ computer security concurrent programming distributed programming formal specification multi-paradigm programming programming programming language programming systems programming theory software security systems security verification