References

[FPR01]

Fisher, K., R. Pucella, and J. Reppy. A framework for interoperability. In N. Benton and A. Kennedy (eds.), Electronic Notes in Theoretical Computer Science, vol. 59, 2001.