Giloi, W., & Berg, H. K. (1980). The Use of formal specification of software and firmware, June 25-27, 1979, Berlin. Springer-Verlag.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र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.
एमएलए (8वां संस्करण) प्रशस्ति पत्रGiloi, Wolfgang, और H. K. Berg. The Use of Formal Specification of Software and Firmware, June 25-27, 1979, Berlin. Springer-Verlag, 1980.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.