On the public citation graph

Formalization in program development

https://doi.org/10.1007/bf01934408

0 signed · 50 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-08766-4_10openalex-snapshot

The meta-language: A reference manual

inferredcites →https://doi.org/10.1007/3-540-08766-4_12openalex-snapshot

A formal definition of ALGOL 60 as described in the 1975 modified report

inferredcites →https://doi.org/10.1007/3-540-10007-5_34openalex-snapshot

Abstract Architecture

inferredcites →https://doi.org/10.1007/3-540-10007-5_43openalex-snapshot

Modular program construction using abstractions

inferredcites →https://doi.org/10.1093/comjnl/19.3.276openalex-snapshot

A supplement to the ALGOL 60 Revised Report

inferredcites →https://doi.org/10.1145/1010832.1010845openalex-snapshot

More thoughts on specification and verification

inferredcites →https://doi.org/10.1145/366193.366201openalex-snapshot

Revised report on the algorithmic language ALGOL 60

inferredcites →https://doi.org/10.25405/ncl.34123362openalex-snapshot

Software Development: A Rigorous Approach

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/0470020504.biblioopenalex-snapshot

Bibliography

inferred← citeshttps://doi.org/10.1007/3-540-13394-1_3openalex-snapshot

On models and modelling in human-computer co-operation

inferred← citeshttps://doi.org/10.1007/3-540-15199-0_15openalex-snapshot

Program development and documentation by informal transformations and derivations

inferred← citeshttps://doi.org/10.1007/3-540-15199-0_5openalex-snapshot

Intuition in software development

inferred← citeshttps://doi.org/10.1007/3-540-15199-0_7openalex-snapshot

Formalization in systems development

inferred← citeshttps://doi.org/10.1007/3-540-51635-2_45openalex-snapshot

Formal specification using structured systems analysis

inferred← citeshttps://doi.org/10.1007/978-3-030-03418-4_11openalex-snapshot

Programming Language Specification and Implementation

inferred← citeshttps://doi.org/10.1007/978-3-319-97226-8_4openalex-snapshot

Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context

inferred← citeshttps://doi.org/10.1007/978-3-322-94703-1_18openalex-snapshot

Giving Structured Analysis Techniques a Formal and Operational Semantics with KARL

inferred← citeshttps://doi.org/10.1007/978-3-642-15187-3_6openalex-snapshot

Engineering and Software Engineering

inferred← citeshttps://doi.org/10.1007/978-3-642-51136-3_4openalex-snapshot

Formal Foundations for Pragmatic Software Engineering Methods

inferred← citeshttps://doi.org/10.1007/978-3-642-75653-5_1openalex-snapshot

Semiformale Darstellungen in wissensbasierten Systemen

inferred← citeshttps://doi.org/10.1007/978-3-642-76118-8_10openalex-snapshot

Rationalität und Scheinrationalität Durch Computergestützte Mathematische Modellierung

inferred← citeshttps://doi.org/10.1007/978-94-011-1793-7_1openalex-snapshot

Computer Science and Philosophy

inferred← citeshttps://doi.org/10.1007/978-94-011-1793-7_11openalex-snapshot

Outline of a Paradigm Change in Software Engineering

inferred← citeshttps://doi.org/10.1007/bf00974746openalex-snapshot

The specification of ?specification?

inferred← citeshttps://doi.org/10.1007/bf00985822openalex-snapshot

Specification of data restructuring software based on the attribute method

inferred← citeshttps://doi.org/10.1007/bf01211297openalex-snapshot

Limits of formal methods

inferred← citeshttps://doi.org/10.1007/bf01937484openalex-snapshot

Specification of a query language by the attribute method

inferred← citeshttps://doi.org/10.1007/bf01941125openalex-snapshot

On formalisms

inferred← citeshttps://doi.org/10.1007/bf01941128openalex-snapshot

Datalogy — The copenhagen tradition of computer science

inferred← citeshttps://doi.org/10.1007/bf01941136openalex-snapshot

On the design of reactive systems

inferred← citeshttps://doi.org/10.1007/bf02454224openalex-snapshot

Deductive program verification (a practitioner's commentary)

inferred← citeshttps://doi.org/10.1016/0306-4379(92)90006-9openalex-snapshot

Operation-oriented query language approach for recursive queries—part 2. Prototype implementation and its integration with relational databases

inferred← citeshttps://doi.org/10.1016/0920-5489(88)90027-xopenalex-snapshot

Formally-based tools and techniques for human-computer dialogues

inferred← citeshttps://doi.org/10.1016/0950-5849(90)90125-bopenalex-snapshot

Hierarchical spiral model for information system and software development. Part 1: Theoretical background

inferred← citeshttps://doi.org/10.1016/0951-8320(91)90047-bopenalex-snapshot

Formal methods in the production and assessment of safety critical software

inferred← citeshttps://doi.org/10.1016/0959-8022(96)00010-0openalex-snapshot

Information systems development: Reflections on a discipline

inferred← citeshttps://doi.org/10.1016/j.jss.2025.112565openalex-snapshot

Binding of C++ and JavaScript through automated glue code generation

inferred← citeshttps://doi.org/10.1016/s1474-6670(17)54539-5openalex-snapshot

The Licensing and Assessment of Computer Safety Systems

inferred← citeshttps://doi.org/10.1080/01449298608914507openalex-snapshot

Formalizations in systems development

inferred← citeshttps://doi.org/10.1093/logcom/exs071openalex-snapshot

From mathematical logic to programming-language semantics: a discussion with Tony Hoare

inferred← citeshttps://doi.org/10.1109/32.129221openalex-snapshot

Semantically extended dataflow diagrams: a formal specification tool

inferred← citeshttps://doi.org/10.1109/32.83913openalex-snapshot

Prolog-based meta-rules for relational database representation and manipulation

inferred← citeshttps://doi.org/10.1109/mahc.2003.1203057openalex-snapshot

The early search for tractable ways of reasoning about programs

inferred← citeshttps://doi.org/10.1145/1188913.1188922openalex-snapshot

Computing versus human thinking

inferred← citeshttps://doi.org/10.1145/43846.43851openalex-snapshot

A paradigm change in software engineering

inferred← citeshttps://doi.org/10.1155/2013/457837openalex-snapshot

Formal Development of System of Systems

inferred← citeshttps://doi.org/10.1207/s15327051hci0404_1openalex-snapshot

Out of Scandinavia: Alternative Approaches to Software Design and System Development

inferred← citeshttps://doi.org/10.1515/pjbr-2019-0004openalex-snapshot

AI for the Common Good?! Pitfalls, challenges, and ethics pen-testing

inferred← citeshttps://doi.org/10.47397/tb/45-2/tb140gerrard-holonopenalex-snapshot

Holon programming regained

inferred← citeshttps://doi.org/10.70675/5a4ecc87z76afz4a06z9020z3ba1b0020bfeopenalex-snapshot

Analyse des mécanismes de coordination contractuels et relationnels au sein des chaines logistiques

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.