Klaus Tochtermann Gisbert Dittrich Towards a Family of Formal Models for Hypermedia. 77-91 1995 HIM db/conf/him/him95.html#TochtermannD95