Generating web-based systems from specifications. - Tue Becher Jensen; Terkel K. Tolstrup; Michael R. Hansen (SAC, 2004)