DESMI: a procedual H.D.L. for machine instruction specification