Primary sources:

Agathias. Histories. trans. J.D. Frendo. DF572 .A38

Procopius. Loeb. 7 volumes. PA3612 .P85 1914 (Reserve copies); LRA PA5340 .A1 1914. Library also has two translations of the Secret History and one of the work on the Buildings of Justinian.
Procopius online

Romanus, Melodus, Saint, 6th cent. Cantica. ed. Maas, P. and C.A. Trypanis. 1963-70. LRA BV467.5 .R6 M3

Modern works:

Adshead, K. The Secret History of Procopius and its Genesis. Byzantion 63 (1993) 5-28.

Arjava, Antti. The Mystery Cloud of 536 CE in the Mediterranean Sources. DOP 59 (2005) 73-94.

Atkinson, J.E. Justinian and the tribulations of transformation. AClass 43 (2000) 15-32. (Acta Classica)

Atkinson, John E. The Plague of 542: Not the Birth of the Clinic. AClass 45 (2002) 1-18.

Bachrach, B.S. Procopius, Agathias and the Frankish military. Speculum 45 (1970) 435-441.

Baldwin, Barry. Menander Protector. DOP 32 (1978) 99-125.

Baldwin, B. An Aphorism in Procopius. RhM 125 (1982) 309-311.

Baldwin, Barry. Sexual Rhetoric in Procopius. Mnemosyne 40 (1987) 151-153.

Beaucamp, Joëlle. Le philosophe et le joueur: la date de la "fermeture de l'École d'Athènes". T&MByz 14 (2002) 21-35. [73-03735

Blockley, R.C. Subsidies and Diplomacy: Rome and Persia in Late Antiquity. Phoenix 39 (1985) 62-74

Browning, R. Justinian and Theodora. 1971. DF572 .B76 1971b

Cameron, Averil M. The "Scepticism" of Procopius. Historia 15 (1966) 466-482.

Cameron, A. Procopius and the sixth century. 1985. DF505.7 .P7 C35 1985

Cameron, Averil. History as Test. Coping with Procopius, in The Inheritance of Historiography 350-900, edd. Chr. Holdsworth and T.P. Wiseman (Exeter: Dept. of History & Archaeology of the University 1986) 53-66.

Casey, Patrick John. Justinian, the Limitanei, and Arab-Byzantine Relations in the 6th c. JRA 9 (1996) 214-222.

Cataudella, Michele R. Historiography in the East, in Greek and Roman Historiography in Late Antiquity: Fourth to Sixth Century A.D., ed. Gabriele Marasco (Leiden: Brill 2003) 391-447.

Cresci, L.R. Lineamenti strutturali e ideologici della figura di Belisario nei Bella procopiani, in Serta historica antiqua (Roma: Giorgio Bretschneider 1986) (Pubbl. dell'Ist. di storia ant. & scienze ausiliarie dell'Univ. degli studi di Genova XV) 247-276.

Croke, Brian. Procopius' "Secret history": rethinking the date. GRBS 45 (2005) 405-431.

Croke, Brian. Justinian, Theodora, and the Church of Saints Sergius and Bacchus. DOP 60 (2006) 25-63.

Downey, Glanville. The Persian Campaign in Syria in A.D. 540. Speculum 28 (1953) 340-348.

Evans, J.A.S. The Nika Rebellion and the Empress Theodora. Byzantion 54 (1984) 380-382. [55-03894

Evans, J.A.S. Justinian and the historian Procopius. G&R 17 (1970) 218-223.

Evans, J.A.S. The age of Justinian: the circumstances of imperial power. 1996. DF568 .E83 1996

Fisher, E.A. Theodora and Antonina in the Historia arcana. History and/or fiction? Arethusa 11 (1978) 253-279.

Foss, Clive The Empress Theodora. Byzantion 72 (2002) 141-176.

Greatrex, Geoffrey. Roman identity in the sixth century in Ethnicity and Culture in Late Antiquity, edd. Stephen Mitchell and Geoffrey Greatrex (Swansea: Classical Press of Wales 2000) 267-292.

Greatrex, Geoffrey. The composition of Procopius' Persian Wars and John the Cappadocian. Prudentia 27 (1995) 1-13. [67-03895

Hardy, E.R. The Egyptian policy of Justinian. DOP 22 (1968) 23-41. (Dumbarton Oaks Papers LRA QUARTO N5970 .D8)

Harl, K. W. Sacrifice and Pagan Belief in Fifth- and Sixth-Century Byzantium. P&P 128 (1990) 7-27.

Kaegi, W.E. Arianism and the Byzantine army in Africa 533-546. Traditio 21 (1965) 23-53.

Lee, A.D. Procopius, Justinian and the Kataskoppoi. CQ 39 (1989) 569-572.

Lee, A.D. The Role of Hostages in Roman Diplomacy with Sasanian Persia. Historia 40 (1991) 366-374.

Liebeschuetz, John H.W.G. The Romans Demilitarised: the Evidence of Procopius. SCI 15 (1996) 230-239. [68-09724

Max, G.E. Procopius' portrait of the emperor Majorian. History and historiography. ByzZ 74 (1981) 1-6. (Byzantinische Zeitschrift)

Meier, Mischa. Prokop, Agathias, die Pest und das "Ende" der antiken Historiographie: Naturkatastrophen und Geschichtsschreibung in der ausgehenden Spätantike. HZ 278 (2004) 281-310.

Meyendorff, J. Justinian, the Empire and the Church. DOP 22 (1968) 45-60. (Dumbarton Oaks Papers LRA QUARTO N5970 .D8)

Moderan, Yves. Corippe et l'occupation byzantine de l'Afrique. Pour une nouvelle lecture de la Johannide. AntAfr 22 (1986) 195-212. [58-01289

Moorhead, J. Italian loyalties during Justinian's Gothic war. Byzantion 53 (1983) 575-596. [54-11337

Moorhead, J. Justinian. 1994. DF572 .M66 1994

Pazdernik, Charles F. Procopius and Thucydides on the Labors of War: Belisarius and Brasidas in the Field. TAPhA 130 (2000) 149-187.

Pohlsander, H.A. A call to repentance: bishop Nicetius of Trier to the emperor Justinian. Byzantion 70 (2000) 456-473.

Rance, Philip. Narses and the Battle of Taginae ("Busta Gallorum") 552: Procopius and Sixth-Century Warfare. Historia 54 (2005) 424-472.

Scott, R.D. Malalas, The Secret History, and Justinian's propaganda. DOP 39 (1985) 99-109. (Dumbarton Oaks Papers LRA QUARTO N5970 .D8

Teall, John L. The Barbarians in Justinian's Armies. Speculum 40 (1965) 294-322.

Trombley, Frank R. Paganism in the Greek World at the End of Antiquity: The Case of Rural Anatolia and Greece. HThR 78 (1985) 327-352.

Turtledove, H. Justin II's Observance of Justinian's Persian Treaty of 562. ByzZ 76 (1983) 292-301.

Vallejo Girvés, M. The treaties between Justinian and Athanagild and the legality of the Byzantine possessions on the Iberian Peninsula. Byzantion 66 (1996) 208-218

Ward, J.O. Procopius, Bellum Gothicum II,6,28. The problem of contacts between Justinian I and Britain. Byzantion 38 (1968) 460-471. [41-03124

Watts, Edward. Justinian, Malalas, and the End of Athenian Philosophical Teaching in A.D. 529. JRS 94 (2004) 168-182.