Bjørner, D., & Oest, O. N. (1980). Towards a formal description of Ada. Springer-Verlag.
芝加哥风格引文Bjørner, D., 与 O. N. Oest. Towards a Formal Description of Ada. Berlin ; New York: Springer-Verlag, 1980.
MLA引文Bjørner, D., 与 O. N. Oest. Towards a Formal Description of Ada. Springer-Verlag, 1980.
警告：这些引文格式不一定是100％准确.