Specification and analysis of internet applications by H.M.A. van Beek