1996. Intersection types and overloading. Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics. 88, (Dec. 1996), 221–238.