Laurette Bradley Abstract Language Design. 5-26 1990 77 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs77.html#Bradley90