ACM Transactions on Programming Languages and Systems September 1996: Vol 18, Nr 5 p 519 Constrained Types and Their Expressiveness by Jens Palsberg and Scott Smith p 615 Indirect Distributed Garbage Collection: Handling Object Migration by José Piquer