Open menu
WADT '97 (1997 Tarquinia, Italy)
Recent trends in algebraic development techniques