author = {F. Caruso and C. Schneider and G. Van De Weyer and W. Schreiner},
title = {{A Student Dictionary System}},
language = {english},
number = {99-10},
year = {1999},
month = {April},
keywords = {algebraic specifications, formal methods, software engineering, cafeOBJ},
length = {0},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}