information research

Hello World,
I'm Georges from Valenciennes/North/France
I'm searching papers/bibliographical references/books related to different 
formal specification methods. Here are the names I know (today)
	- VDM
	- Z  and the related B Tools 
Please add another names if you want (with a little description)
What your opinion about these method? What is you favourite? Why?
Are you concern by academic/industrial researchs?

Thanks for any help...