William M. McKeeman. Mechanizing Bankers Morality. Computer Languages, Systems \& Structures, 1(1):73-82, 1976.
@article{McKeeman76:0, title = {Mechanizing Bankers Morality}, author = {William M. McKeeman}, year = {1976}, researchr = {https://researchr.org/publication/McKeeman76%3A0}, cites = {0}, citedby = {0}, journal = {Computer Languages, Systems \& Structures}, volume = {1}, number = {1}, pages = {73-82}, }