@techreport{R-85-17, TITLE = {An Experiment with Domain Construction for Denotational Semantics}, AUTHOR = {Wlodzimierz Drabent}, YEAR = {1985}, NUMBER = {R-85-17}, INSTITUTION = ida, ADDRESS = idaaddr, ABSTRACT = {}, IDANR = {LiTH-IDA-R-85-17}