Theories Of Programming And Formal Methods Essays Dedicated To Jifeng He On The Occasion Of His 70th BirthdayZhiming Liu · First published 2013Open the Tome