murecursivestackboehmboolean2software