A practical subtyping system for Erlang (Simon Marlow, Philip Wadler), Proceedings of the ACM SIGPLAN International Conference on Functional
Programming, Amsterdam, The Netherlands, June 9-11 1997, pages 136-149