murecursivestackboehmbooleansoftware