Algebraic methodology and software technology (AMAST '93): proceedings of the 3. International Conference on… by Nivat, Maurice, Rattray, Charles, Rus, Teodor, Scollo, Giuseppe, International Conference on algebraic methodology and software technology, (Enschede, Netherlands) fromWorkshops in computing 0 Type: Book
