JAPROC - An 8 bit Micro Controller Design and Its Test Environment. - Herbert Grünbacher; Alexander Jaud (FPL, 1992)