Informal and formal methods of research - de Raedt, Jules