Giloi, W., & Berg, H. K. (1980). The Use of formal specification of software and firmware, June 25-27, 1979, Berlin. Springer-Verlag.
Chicago-referens (17:e uppl.)Giloi, Wolfgang, och H. K. Berg. The Use of Formal Specification of Software and Firmware, June 25-27, 1979, Berlin. Berlin ; New York: Springer-Verlag, 1980.
MLA-referens (8:e uppl.)Giloi, Wolfgang, och H. K. Berg. The Use of Formal Specification of Software and Firmware, June 25-27, 1979, Berlin. Springer-Verlag, 1980.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.