"Specification Patterns: Formal and Easy."

Fernando Asteasuain, Víctor A. Braberman (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics