Jackson, D. "Nitpick: A Checkable Specification language". Proceedings of the First ACM SIGSOFT Workshop on Formal Methods in Software Practice, San Diego, CA. (Jan 1996),

Languages mentioned

• NP {1996} NitPick modelling language