Sheeran, M. "Ruby A Language of Relations and Higher-Order Functions", Proc 3rd Banff Workshop on Hardware Verification, Springer 1990.

Languages mentioned

• Ruby {1986}