FORTIN, M. The MacNeille Completion of the Poset of Partial Injective Functions. The Electronic Journal of Combinatorics, v. 15, n. 1, p. R62, 10 Apr. 2008.