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