Jon Bentley
AT&T Bell Laboratories, Room 2C-317, 600 Mountain Avenue, Murray Hill, NJ
Using formal procedure parameters to represent and transmit complex data structures
ACM SIGPLAN Notices
A logic-based approach to system modelling
SCM '91 Proceedings of the 3rd international workshop on Software configuration management