The gamma model and its discipline of programming (1990)

by Jean-Pierre Banâtre, Daniel Le Métayer
Venue:Sci. Comput. Program