Lukkien, J. J. (1991). Parallel program design and generalized weakest preconditions. Rijksuniversiteit Groningen.
Lua i Stíl Chicago (17ú heag.)Lukkien, Johan J. Parallel Program Design and Generalized Weakest Preconditions. [Groningen]: Rijksuniversiteit Groningen, 1991.
Lua MLA (8ú heag.)Lukkien, Johan J. Parallel Program Design and Generalized Weakest Preconditions. Rijksuniversiteit Groningen, 1991.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.