9781441140784 | Bloomsbury USA Academic, December 22, 2011, cover price $29.95

9780201627572, titled "Software Development With Z: A Practical Approach to Formal Methods in Software Engineering" | Addison-Wesley, July 1, 1992, cover price $32.95 | also contains Software Development With Z: A Practical Approach to Formal Methods in Software Engineering

9780415146883 | Ill edition (Routledge, March 1, 1999), cover price $150.00

9780415619448 | Reprint edition (Routledge, January 6, 2011), cover price $54.95

9780203024812, titled "Byzantine Empresses: Women and Power in Byzantium Ad 527-1204" | Routledge, January 4, 2002, cover price $145.00

9780865652378 | Vendome Pr, May 1, 2004, cover price $27.50 | About this edition: A in-depth portrait of the Byzantine Empress Theodora profiles one of the most important female figures in Western history, who was born the daughter of a bear-keeper and rose to become the wife and partner of the Emperor Justinian, leading a fascinating life depicted here in meticulously researched detail.

9780691095004 | Princeton Univ Pr, January 1, 2002, cover price $42.00 | About this edition: Three empresses of Byzantium in the eighth and ninth centuries--Irene, Euphrosyne, and Theodora--take center stage in this fascinating account of female power in the Eastern Roman Empire.

9780691117805 | Princeton Univ Pr, January 5, 2004, cover price $38.95

9780292721050 | 1 edition (Univ of Texas Pr, July 1, 2002), cover price $29.95

9780292702707 | Ill edition (Univ of Texas Pr, October 1, 2003), cover price $19.95

9780500250990 | Rev sub edition (Thames & Hudson, July 1, 1987), cover price $22.50 | About this edition: Traces the life of the 6th century Roman Emperor Justinian and examines his relationship with his consort Theodora

9781593330538 | Gorgias Pr Llc, March 1, 2003, cover price $79.00

9780201627572 | Addison-Wesley, July 1, 1992, cover price $32.95 | also contains The Power Game in Byzantium: Antonina and the Empress Theodora