C B Jones
-
Do Not Read This
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing