E. W. Johnson, J. A. Johnson, and M. B. Taylor, “$P$-systems in lattice modules”, Tamkang J. Math., vol. 34, no. 3, pp. 197–200, Sep. 2003.