Zhaohui Luo Coercive Subtyping. 105-130 1999 9 J. Log. Comput. 1 http://www.oup.co.uk/logcom/hdb/Volume_09/Issue_01/090105.sgm.abs.html db/journals/logcom/logcom9.html#Luo99