M. Fortin, “The MacNeille Completion of the Poset of Partial Injective Functions”, Electron. J. Combin., vol. 15, no. 1, p. R62, Apr. 2008.