ACM Transactions on Programming Languages and Systems May 1995: Vol 17, Nr 3 p 431 Covariance and Contravariance: Conflict without a cause by Guiseppe Castagna p 448 Typechecking Concurrent I/O by W. H. Carlisle