APA (7 वां संस्करण) प्रशस्ति पत्र

Havelund, K. Formal analysis of a space-craft controller using SPIN. IEEE Transactions on software engineering.

शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र

Havelund, K. "Formal Analysis of a Space-craft Controller Using SPIN." IEEE Transactions on Software Engineering .

एमएलए (9वां संस्करण) प्रशस्ति पत्र

Havelund, K. "Formal Analysis of a Space-craft Controller Using SPIN." IEEE Transactions on Software Engineering, .