these demos are Hoare's hard wording,if it is useful to you ,he will very happy.