BEATNP: a tool for partitioning Boolean networks. - Hyunwoo Cho; Gary D. Hachtel; M. Nash; L. Setiono (ICCAD, 1988)

Implementing Security Policy in a Large Defense Procurement. - M. Nash; R. J. Kennett (ACSAC, 1996)