Process and Term Tile Logic (1998)

by Roberto Bruni , José Meseguer , Ugo Montanari
Citations:34 - 25 self