Bicarregui, Juan C. (Juan Carlos),Δημητράκος, Θ.,Lano, K.,Maibaum, Thomas S. E.,Ritchie, B., The VDM+B project: objectives and progress, 71-77, 1999,