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

by M Bailey, J Davidson
Venue:ACM Symposium on Principles of Programming Languages