An integrated microprogram development methodology based on APL. - Jan W. M. Jacobs; Roger J. H. Hacking (APL, 1987)