On the modeling and analysis of obligations (2006)

by K Irwin, T Yu, W H Winsborough
Venue:In Proc. of ACM CCS