Towards structured specifying : theory, practice, applications