An Implementation of a System for the Formal Definition of Programming Languages - Brian Alfred Hansche (1978)

Optional, repeatable, and varying type parameters. - Gary Ford 001; Brian Alfred Hansche (ACM SIGPLAN Notices, 1982)