Add reference to Wirth's article