LFCS-93-277. Also available as Aarhus Univ (0)