algebraic . specifications . acm . press . frontier . case . studies . programming . language . definition . biggerstaff . ted . bancilhon . francois . bergstra . bucher . ingrid . buneman . peter .
Format
Author
Status
List Price