@misc{geeraerts03howtogrind,
title =   	"How to Grind Java Programs to Extract Full-bodied Infinite-state Models ?",
author =       	"Gilles Geeraerts",
howpublished =  "M\'emoire de D.E.A. en Sciences (filière Informatique et Mathématiques), Universit\'e Libre de Bruxelles",
year = 		"2003"
}