Extensions of Temporal Logic for Counting with Applications to Model Verification. - Robert P. Kurshan; Shlomit S. Pinter; Baruch Solomon (PSTV, 1989)

Micro-operation cache: a power aware frontend for variable instruction length ISA. - Baruch Solomon; Avi Mendelson; Ronny Ronen; Doron Orenstein; Yoav Almog (IEEE Trans. Very Large Scale Integr. Syst., 2003)