Iverson, Operators and Functions, 1978-04-26; Section 8.
Hui et al., http://www.jsoftware.com/jwiki/Essays/Under