A runnable functional formal memetic algorithm framework - Russo, Wanda Mariana