Representing FM in Isabelle (1994) R.J. Blok
(1994)
Languages mentioned
FM
{1994}