Domain theory S Abramsky, A Jung Oxford University Press, 1994 | 1572 | 1994 |

Handbook of logic in computer science S Abramsky, D Gabbay, T Maibaurn | 445* | 1992 |

Specification of computer programs WM Turski, TSE Maibaum Addison-Wesley Longman Publishing Co., Inc., 1987 | 238 | 1987 |

Temporal theories as modularisation units for concurrent system specification J Fiadeiro, T Maibaum Formal aspects of Computing 4 (3), 239-272, 1992 | 224 | 1992 |

Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ... Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006 | 176* | 2006 |

Categorical semantics of parallel program design JL Fiadeiro, T Maibaum Science of Computer Programming 28 (2-3), 111-138, 1997 | 153 | 1997 |

Sharing actions and attributes in modal action logic M Ryan, J Fiadeiro, T Maibaum International Symposium on Theoretical Aspects of Computer Software, 569-593, 1991 | 135 | 1991 |

Handbook of logic in computer science H Barendregt, S Abramsky, DM Gabbay, TSE Maibaum Lambda calculi with types 2, 117-309, 1992 | 133 | 1992 |

Describing, structuring and implementing objects J Fiadeiro, T Maibaum Workshop/School/Symposium of the REX Project (Research and Education in …, 1990 | 120 | 1990 |

Sometimes “tomorrow” is “sometime” JL Fiadeiro, T Maibaum International Conference on Temporal Logic, 48-66, 1994 | 106 | 1994 |

Typed lambda calculi HP Barendregt Handbook of Logic in Computer Science 2, 1992 | 106 | 1992 |

A generalized approach to formal languages TSE Maibaum Journal of Computer and System Sciences 8 (3), 409-439, 1974 | 92 | 1974 |

Temporal reasoning over deontic specifications J Fiadeiro, T Maibaum Journal of Logic and Computation 1 (3), 357-395, 1991 | 89 | 1991 |

The prescription and description of state based systems S Khosla, TSE Maibaum Temporal Logic in Specification, 243-294, 1989 | 88 | 1989 |

Specification and refinement of discrete timing properties in Event-B MR Sarshogh, M Butler | 82* | 2011 |

Interconnecting formalisms: supporting modularity, reuse and incrementality JL Fiadeiro, T Maibaum Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software …, 1995 | 76 | 1995 |

A product-focused approach to software certification T Maibaum, A Wassyng Computer 41 (2), 91-93, 2008 | 73 | 2008 |

Evidence-based electronic contract performance monitoring A Daskalopulu, T Dimitrakos, T Maibaum Group decision and negotiation 11 (6), 469-485, 2002 | 72 | 2002 |

Proof-Theoretic Semantics of Object-Oriented Specification Constructs. JL Fiadeiro, C Sernadas, TSE Maibaum, G Saake DS-4, 243-284, 1990 | 70 | 1990 |

A mathematical toolbox for the software architect JL Fiadeiro, T Maibaum Proceedings of the 8th International Workshop on Software Specification and …, 1996 | 63 | 1996 |