Wellington Yu Chiu
-
Program developments: formal explanations of implementations
Communications of the ACM