Susan Stepney Fiona Polack Ian Toyn An Outline Pattern Language for Z: Five Illustrations and Two Tables. 2-19 2003 conf/zum/2003 ZB http://link.springer.de/link/service/series/0558/bibs/2651/26510002.htm db/conf/zum/zb2003.html#StepneyPT03