Towards a Transformational Approach to Program Verification. - Myla Archer; Amy Lo; Ronald A. Olsson (Softw. Test. Verification Reliab., 1999)

From Business Models to Service-Oriented Design: A Reference Catalog Approach. - Amy Lo; Eric S. K. Yu (ER, 2007)