Hoare, C. (2002). Assertions in Programming: From Scientific Theory to Engineering Practice. Springer.
芝加哥风格引文Hoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. Springer, 2002.
MLA引文Hoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. Springer, 2002.
警告：这些引文格式不一定是100％准确.