Introducing obj JA Goguen, T Winkler, J Meseguer, K Futatsugi, JP Jouannaud Software Engineering with OBJ: algebraic specification in action, 3-167, 2000 | 1126 | 2000 |

Principles of OBJ2 K Futatsugi, JA Goguen, JP Jouannaud, J Meseguer Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of …, 1985 | 825 | 1985 |

CafeOBJ report: The language, proof techniques, and methodologies for object-oriented algebraic specification R Diaconescu, K Futatsugi World Scientific, 1998 | 476 | 1998 |

Proof scores in the OTS/CafeOBJ method K Ogata, K Futatsugi Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 …, 2003 | 158 | 2003 |

Logical foundations of CafeOBJ R Diaconescu, K Futatsugi Theoretical computer science 285 (2), 289-318, 2002 | 148 | 2002 |

An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks K Futatsugi, A Nakagawa First IEEE International Conference on Formal Engineering Methods, 170-181, 1997 | 146 | 1997 |

CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification R 鎍 zvan· Diaconescu, K Futatsugi World Scientific, 1998 | 140 | 1998 |

Behavioural Coherence in Object-Oriented Algebraic Specification1, 2 R azvan Diaconescu, K Futatsugi Journal of Universal Computer Science 6 (1), 74-96, 2000 | 121 | 2000 |

CafeOBJ Report, volume 6 of AMAST series in Computing R Diaconescu, K Futatsugi World Scientific, Singapore, etc, 1998 | 99 | 1998 |

Some tips on writing proof scores in the OTS/CafeOBJ method K Ogata, K Futatsugi Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on …, 2006 | 83 | 2006 |

Parameterized programming in OBJ2 K Futatsugi, J Goguen, J Meseguer, K Okada Proceedings of the 9th international conference on Software Engineering, 51-60, 1987 | 80 | 1987 |

CafeOBJ: Logical foundations and methodologies R Diaconescu, K Futatsugi, K Ogata Computing and Informatics 22 (3-4), 257-283, 2003 | 56 | 2003 |

Equational approach to formal analysis of TLS K Ogata, K Futatsugi 25th IEEE International Conference on Distributed Computing Systems (ICDCS …, 2005 | 54 | 2005 |

Fault tree and formal methods in system safety analysis J Xiang, K Futatsugi, Y He The Fourth International Conference onComputer and Information Technology …, 2004 | 54 | 2004 |

Formal Analysis of the *i*KP Electronic Payment ProtocolsK Ogata, K Futatsugi International Symposium on Software Security, 441-460, 2002 | 49 | 2002 |

Verifying specifications with proof scores in CafeOBJ K Futatsugi 21st IEEE/ACM International Conference on Automated Software Engineering …, 2006 | 48 | 2006 |

CAFE: An industrial-strength algebraic formal method K Futatsugi, AT Nakagawa, T Tamai Elsevier, 2000 | 46 | 2000 |

Principles of proof scores in CafeOBJ K Futatsugi, D Găină, K Ogata Theoretical Computer Science 464, 90-112, 2012 | 45 | 2012 |

Logical semantics for CafeOBJ R Diaconescu, K Futatsugi 北陸先端科学技術大学院大学情報科学研究科, 1996 | 45 | 1996 |

Component-based algebraic specification and verification in CafeOBJ R Diaconescu, K Futatsugi, S Iida FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999 | 41 | 1999 |