P. Inventado, and P. Scupelli. Proceedings of the 20th European Conference on Pattern Languages of Programs, page 14:1--14:13. New York, NY, USA, ACM, (2015)
A. Blandford, P. Curzon, J. Hyde, and G. Papatzanis. Interactive Systems: Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, (2008)