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