Lukkien, J. J. (1991). Parallel program design and generalized weakest preconditions. Rijksuniversiteit Groningen.
Chicago-referens (17:e uppl.)Lukkien, Johan J. Parallel Program Design and Generalized Weakest Preconditions. [Groningen]: Rijksuniversiteit Groningen, 1991.
MLA-referens (8:e uppl.)Lukkien, Johan J. Parallel Program Design and Generalized Weakest Preconditions. Rijksuniversiteit Groningen, 1991.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.