Indexed types. Theoretical Computer Science, 187:147–165 (1997)

by Christoph Zenger