APA-viite (7. p.)

Lowe, G. (2011). Implementing generalised alt - A case study in validated design using CSP.

Chicago-viite (17. p.)

Lowe, G. Implementing Generalised Alt - A Case Study in Validated Design Using CSP. 2011.

MLA-viite (9. p.)

Lowe, G. Implementing Generalised Alt - A Case Study in Validated Design Using CSP. 2011.

Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.