Giloi, W., & Berg, H. K. (1980). The Use of formal specification of software and firmware, June 25-27, 1979, Berlin. Springer-Verlag.
芝加哥风格引文Giloi, Wolfgang, 与 H. K. Berg. The Use of Formal Specification of Software and Firmware, June 25-27, 1979, Berlin. Berlin ; New York: Springer-Verlag, 1980.
MLA引文Giloi, Wolfgang, 与 H. K. Berg. The Use of Formal Specification of Software and Firmware, June 25-27, 1979, Berlin. Springer-Verlag, 1980.
警告：这些引文格式不一定是100％准确.