A formal model and speci language for procedure calling conventions (1995)

by Mark W Bailey, Jack W Davidson
Venue:In Conference Record of the 22nd Annual ACM Symposium on Principles of Programming Languages