Filling SpecRunner, BAsketSpec, Basket and Book