Finished BMC references