%0 Book
%A / Mihai Codescu, Rzvan Diaconescu, Ionu uu
%T Recent Trends in Algebraic Development Techniques
%U /book/93574526/Recent-Trends-in-Algebraic-Development-Techniques/