My question is basically given in the title: Are there any references for a generalization of algebraic K-theory to the scenario where the domain of the functors consists of commutative semirings (provided this has been done at all)?