Process and Term Tile Logic (1998)

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