B. Nick Rossiter, David A. Nelson, Michael A. Heather
Formalizing Types with Ultimate Closure for Middleware Tools in Information Systems Engineering
ICEIS, 2003.
@inproceedings{ICEIS-v1-2003-RossiterNH,
author = "B. Nick Rossiter and David A. Nelson and Michael A. Heather",
booktitle = "{Proceedings of the Fifth International Conference on Enterprise Information Systems, Volume 1}",
pages = "366--373",
title = "{Formalizing Types with Ultimate Closure for Middleware Tools in Information Systems Engineering}",
year = 2003,
}