Extending the WAM for HiLog. - Roland Paterson-Jones; Peter T. Wood (ILPS, 1993)