Jackson, D. and Damon,C.A. "Nitpick Reference Manual". Tech. Rep. CMU-CS-96-109. School of Computer Science, Carnegie Mellon University, Pittsburgh, PA (Jan 1996.)

Languages mentioned

• NP {1996} NitPick modelling language