Workshop on program specification :Aarhus & Staunstrup, J. Program specification: Proceedings of a workshop, Aarhus, Denmark, August 1981. Springer.
Chicago-viite (17. p.)Workshop on program specification :Aarhus ja Jørgen Staunstrup. Program Specification: Proceedings of a Workshop, Aarhus, Denmark, August 1981. Berlin [etc.]: Springer.
MLA-viite (8. p.)Workshop on program specification :Aarhus ja Jørgen Staunstrup. Program Specification: Proceedings of a Workshop, Aarhus, Denmark, August 1981. Springer.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.