Saukkonen, S. (1983). A constructive method for the architectural design and correctness verification of real-time programs. Finnish Academy of Technical Sciences.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Saukkonen, Samuli. A Constructive Method for the Architectural Design and Correctness Verification of Real-time Programs. Helsinki: Finnish Academy of Technical Sciences, 1983.
Trích dẫn kiểu MLA (xuất bản lần thứ 8)Saukkonen, Samuli. A Constructive Method for the Architectural Design and Correctness Verification of Real-time Programs. Finnish Academy of Technical Sciences, 1983.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.