Henry G. Dietz G. Krishnamurthy Meta-State Conversion. 47-56 1993 ICPP db/conf/icpp/icpp1993-2.html#DietzK93