Tyson Dowd Fergus Henderson Peter Ross Compiling Mercury to the .NET Common Language Runtime. 2001 59 Electr. Notes Theor. Comput. Sci. 1 http://www.elsevier.nl/locate/entcs/volume59.html db/journals/tcs/entcs59.html#DowdHR01