Perhaps you should try some spelling variations:
progress compositional » process compositional, provers compositional, processes compositional
intersection method » intersection methods, interaction method, intervention method
microprogram https » microprogramming https, microprogramming http
method progress » methods progress, method process, method programs

You may be able to get more results by adjusting your search query.

• Performing a fuzzy search may retrieve terms with similar spellings: intersection method progress compositional microprogram https~.
• Adding a wildcard symbol may retrieve word variants: intersection method progress compositional microprogram https*.