Design and implementation of assertions for the common language infrastructure. - Nam Tran II; Christine Mingins; David Abramson 001 (IEE Proc. Softw., 2003)

A Taxonomy of Call Ordering Problems. - Nam Tran II; David Abramson 001; Christine Mingins (APSEC, 2004)

Call-Ordering Constraints. - Nam Tran II; David Abramson 001; Christine Mingins (APSEC, 2005)