@techreport{SchmaltzMIPS,
AUTHOR = {Schmaltz, Sabine},
TITLE = { MIPS-86 A Multi-Core MIPS ISA Specification},
YEAR = {2013},
}