Lukkien, J. J. (1991). Parallel program design and generalized weakest preconditions. Rijksuniversiteit Groningen.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Lukkien, Johan J. Parallel Program Design and Generalized Weakest Preconditions. [Groningen]: Rijksuniversiteit Groningen, 1991.
Trích dẫn kiểu MLA (xuất bản lần thứ 8)Lukkien, Johan J. Parallel Program Design and Generalized Weakest Preconditions. Rijksuniversiteit Groningen, 1991.
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%.