Eugene Wong
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M85/3
February 1985
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1985/ERL-85-3.pdf
BibTeX citation:
@techreport{Wong:M85/3, Author = {Wong, Eugene}, Title = {Extended Domain Types and Specification of User Defined Operators}, Institution = {EECS Department, University of California, Berkeley}, Year = {1985}, Month = {Feb}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1985/446.html}, Number = {UCB/ERL M85/3} }
EndNote citation:
%0 Report %A Wong, Eugene %T Extended Domain Types and Specification of User Defined Operators %I EECS Department, University of California, Berkeley %D 1985 %@ UCB/ERL M85/3 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1985/446.html %F Wong:M85/3