Paper Citation Record · LEDGER

Volition Elicitation: Operational Semantics for People and Their Machines

As of 8 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2607.14138.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.14138 v1

Coverage vector

measured 52 of 52 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T07:44:31.133208Z

measured 52 of 52 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

52 of 52 outbound references displayed

verified exact0
verified fuzzy0
unresolved52
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation fef6ffa2-b7a2-4769-ba10-4acbcabdd1ac · outbound

This paper cites Batongbacal, Stephen M.

Volition Elicitation: Operational Semantics for People and Their Machines Batongbacal, Stephen M

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:24.538913Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1a48774-8f57-411c-88f0-5a04f9eb580e · outbound

This paper cites Akiki, Arosha K.

Volition Elicitation: Operational Semantics for People and Their Machines Akiki, Arosha K

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:24.611272Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation beb08492-1b93-40b7-87ec-e9075fe1dd04 · outbound

This paper cites The Esterel synchronous programming language: Design, semantics, implemen- tation.Science of Computer Programming, 19(2):87–152, 1992.

Volition Elicitation: Operational Semantics for People and Their Machines The Esterel synchronous programming language: Design, semantics, implemen- tation.Science of Computer Programming, 19(2):87–152, 1992

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:24.784543Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e80a72c-0e87-4b7a-9e2e-ad6f80710f3a · outbound

This paper cites A unifying reference framework for multi-target user interfaces.Interacting with Computers, 15(3):289–308, 2003.

Volition Elicitation: Operational Semantics for People and Their Machines A unifying reference framework for multi-target user interfaces.Interacting with Computers, 15(3):289–308, 2003

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:24.921706Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3bc2a241-038a-4ee2-a4d7-d5ec03d7a89a · outbound

This paper cites Card, Thomas P.

Volition Elicitation: Operational Semantics for People and Their Machines Card, Thomas P

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:25.059184Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e31a92d4-3b35-42a8-8616-328fd3003b0f · outbound

This paper cites Card, Thomas P.

Volition Elicitation: Operational Semantics for People and Their Machines Card, Thomas P

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:25.225269Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d84f476e-3bef-42b8-8d91-b2b669cfe2da · outbound

This paper cites FUDGETS: A graphical user interface in a lazy functional language.

Volition Elicitation: Operational Semantics for People and Their Machines FUDGETS: A graphical user interface in a lazy functional language

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:25.364266Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9cb5861-fb3e-4daf-b34f-bbe62107b8b6 · outbound

This paper cites Atomic broadcast: From simple message diffusion to byzantine agreement.Information and Computation, 118(1):158–179, 1995.

Volition Elicitation: Operational Semantics for People and Their Machines Atomic broadcast: From simple message diffusion to byzantine agreement.Information and Computation, 118(1):158–179, 1995

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:25.506316Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e24e46d7-8546-436e-9ca9-7b81647c6210 · outbound

This paper cites Asynchronous functional reactive programming for GUIs.

Volition Elicitation: Operational Semantics for People and Their Machines Asynchronous functional reactive programming for GUIs

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:25.637162Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4bf3afe-70aa-4f5f-b832-a3b35b95eaaf · outbound

This paper cites Dix.Formal Methods for Interactive Systems.

Volition Elicitation: Operational Semantics for People and Their Machines Dix.Formal Methods for Interactive Systems

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:25.773571Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b81eac5-0444-4d70-9bfc-eead435f02fb · outbound

This paper cites Duke and Michael D.

Volition Elicitation: Operational Semantics for People and Their Machines Duke and Michael D

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:25.899400Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4c999f4-daf0-45ea-b7b3-1f482e2888a8 · outbound

This paper cites Functional reactive animation.

Volition Elicitation: Operational Semantics for People and Their Machines Functional reactive animation

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:26.034405Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3b13569-44e3-41be-bbdf-b061c224b3a7 · outbound

This paper cites Statecharts: A visual formalism for complex systems.Science of Computer Programming, 8(3):231–274, 1987.

Volition Elicitation: Operational Semantics for People and Their Machines Statecharts: A visual formalism for complex systems.Science of Computer Programming, 8(3):231–274, 1987

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:26.198174Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0987677-61af-4f9f-8967-7f13d888b34d · outbound

This paper cites an unresolved cited work.

Volition Elicitation: Operational Semantics for People and Their Machines Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:26.363562Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04b47a26-301e-45bc-8dee-3e29d2acfb8b · outbound

This paper cites John and David E.

Volition Elicitation: Operational Semantics for People and Their Machines John and David E

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:26.487347Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cfc82971-afdc-4650-b3d1-0cfa250ee9e9 · outbound

This paper cites Krishnaswami and Nick Benton.

Volition Elicitation: Operational Semantics for People and Their Machines Krishnaswami and Nick Benton

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:26.691325Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86fa9a5e-0042-4f84-8f5b-585bd4fb1a22 · outbound

This paper cites Grassroots Flash: A Payment System for Grassroots Cryptocurrencies.

Volition Elicitation: Operational Semantics for People and Their Machines Grassroots Flash: A Payment System for Grassroots Cryptocurrencies

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:26.830065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7931786d-aeb9-4c4c-8c92-618316d0a2a0 · outbound

This paper cites Volition-Guarded Multiagent Atomic Transactions: Describing People and their Machines.

Volition Elicitation: Operational Semantics for People and Their Machines Volition-Guarded Multiagent Atomic Transactions: Describing People and their Machines

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:26.925089Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62f43b2a-c4a9-4d5e-afec-c90f01db24c8 · outbound

This paper cites USIXML: A language supporting multi-path development of user interfaces.

Volition Elicitation: Operational Semantics for People and Their Machines USIXML: A language supporting multi-path development of user interfaces

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:27.061640Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0fc64dd-c4ce-4273-9d76-612e262311f7 · outbound

This paper cites Ceptre: A language for modeling generative interactive systems.

Volition Elicitation: Operational Semantics for People and Their Machines Ceptre: A language for modeling generative interactive systems

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:27.278899Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05496504-6c5a-4981-861d-e0b4a9c5f661 · outbound

This paper cites an unresolved cited work.

Volition Elicitation: Operational Semantics for People and Their Machines Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:27.417440Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f423c04c-3b6a-49b8-a9ed-f13b66cf5f2b · outbound

This paper cites an unresolved cited work.

Volition Elicitation: Operational Semantics for People and Their Machines Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:27.560142Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47e8dea3-104d-4358-938e-928ca93a7826 · outbound

This paper cites Palanque and Rémi Bastide.

Volition Elicitation: Operational Semantics for People and Their Machines Palanque and Rémi Bastide

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:27.715364Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d827d719-056b-4a09-8572-ca010c332d3c · outbound

This paper cites Springer, 2000.

Volition Elicitation: Operational Semantics for People and Their Machines Springer, 2000

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:27.883000Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ff6ded8-335f-470a-a9ff-f828090528aa · outbound

This paper cites PhD thesis, Trinity College Dublin, 2004.

Volition Elicitation: Operational Semantics for People and Their Machines PhD thesis, Trinity College Dublin, 2004

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:28.016693Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1cf7519e-cd25-411c-a975-46c897421bbf · outbound

This paper cites Wiley, 2002.

Volition Elicitation: Operational Semantics for People and Their Machines Wiley, 2002

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:28.120976Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ebfe5da9-0395-4a8e-88e9-4dff9575081b · outbound

This paper cites an unresolved cited work.

Volition Elicitation: Operational Semantics for People and Their Machines Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:28.245412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff750229-ad16-401b-a9fd-269b2662fef9 · outbound

This paper cites Task-oriented programming in a pure functional language.

Volition Elicitation: Operational Semantics for People and Their Machines Task-oriented programming in a pure functional language

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:28.410703Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd087ce0-96fa-42cf-8881-7d31dd3f586f · outbound

This paper cites Rao and Michael P.

Volition Elicitation: Operational Semantics for People and Their Machines Rao and Michael P

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:28.545872Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0176e228-b235-41a3-8ad2-91bcd548b8c1 · outbound

This paper cites Formal grammar and human factors design of an interactive graphics system.IEEE Transactions on Software Engineering, 7(2):229–240, 1981.

Volition Elicitation: Operational Semantics for People and Their Machines Formal grammar and human factors design of an interactive graphics system.IEEE Transactions on Software Engineering, 7(2):229–240, 1981

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:28.702940Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e36ff60d-544c-4b31-b874-4342d0ccdcc6 · outbound

This paper cites The synthesizer generator.

Volition Elicitation: Operational Semantics for People and Their Machines The synthesizer generator

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:28.807181Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09d1b602-1e29-4e0e-ad8a-1344300c1f88 · outbound

This paper cites Safer smart contract programming with Scilla.Proceedings of the ACM on Programming Languages, 3(OOPSLA):1–30, 2019.

Volition Elicitation: Operational Semantics for People and Their Machines Safer smart contract programming with Scilla.Proceedings of the ACM on Programming Languages, 3(OOPSLA):1–30, 2019

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:28.975814Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dab3c331-d4ba-42ab-bca7-1a4603ce9ea2 · outbound

This paper cites The family of concurrent logic programming languages.ACM Computing Surveys (CSUR), 21(3):413–510, 1989.

Volition Elicitation: Operational Semantics for People and Their Machines The family of concurrent logic programming languages.ACM Computing Surveys (CSUR), 21(3):413–510, 1989

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:29.109409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47389437-dd07-4f98-a8cf-3353309d7bc7 · outbound

This paper cites Multiagent Transition Systems for Composing Fault-Resilient Protocol Stacks.

Volition Elicitation: Operational Semantics for People and Their Machines Multiagent Transition Systems for Composing Fault-Resilient Protocol Stacks

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:29.194331Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb153d6b-e982-4fb9-9fbf-987ca6f06222 · outbound

This paper cites Grassroots distributed systems: Concept, examples, implementation and applications (brief announce- ment).

Volition Elicitation: Operational Semantics for People and Their Machines Grassroots distributed systems: Concept, examples, implementation and applications (brief announce- ment)

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:29.363240Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9b702b8-bdc3-4259-bec5-a1efa106f6be · outbound

This paper cites Grassroots social networking: Serverless, permissionless protocols for twitter/linkedin/whatsapp.

Volition Elicitation: Operational Semantics for People and Their Machines Grassroots social networking: Serverless, permissionless protocols for twitter/linkedin/whatsapp

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:29.454458Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 869fa15d-c234-49c7-980f-fbee92ce5842 · outbound

This paper cites A Grassroots Architecture to Supplant Global Digital Platforms by a Global Digital Democracy.

Volition Elicitation: Operational Semantics for People and Their Machines A Grassroots Architecture to Supplant Global Digital Platforms by a Global Digital Democracy

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:29.564732Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38862bb0-7728-40ed-bf24-76d0c9a3b4fb · outbound

This paper cites Grassroots Currencies: Foundations for Grassroots Digital Economies.

Volition Elicitation: Operational Semantics for People and Their Machines Grassroots Currencies: Foundations for Grassroots Digital Economies

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:29.670545Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4175f9cc-e2f6-4fef-a156-bcecdd9962c1 · outbound

This paper cites Characterising Global Platforms: Centralised, Decentralised, Federated, and Grassroots.

Volition Elicitation: Operational Semantics for People and Their Machines Characterising Global Platforms: Centralised, Decentralised, Federated, and Grassroots

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:29.751291Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5efce609-51c3-46ae-bdc1-e87de710f5f5 · outbound

This paper cites GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI (Full Version).

Volition Elicitation: Operational Semantics for People and Their Machines GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI (Full Version)

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:29.847055Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e181b53-8ab5-4fd6-a337-ac33ba351518 · outbound

This paper cites Child-safe social networking.Submitted, arXiv XXXX.XXXXX, 2026.

Volition Elicitation: Operational Semantics for People and Their Machines Child-safe social networking.Submitted, arXiv XXXX.XXXXX, 2026

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:29.897438Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04b2e6a9-2036-49e1-a992-cbd5a64c74d1 · outbound

This paper cites Grassroots Bonds as a Foundation for Market Liquidity.

Volition Elicitation: Operational Semantics for People and Their Machines Grassroots Bonds as a Foundation for Market Liquidity

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:29.952404Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64e037e2-fc3e-4e83-9bc0-0d7f568fcae5 · outbound

This paper cites Grassroots platforms with atomic transactions: Social graphs, cryptocurrencies, and democratic federations.

Volition Elicitation: Operational Semantics for People and Their Machines Grassroots platforms with atomic transactions: Social graphs, cryptocurrencies, and democratic federations

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:30.084263Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4feace20-db50-491c-854b-57e5f80047d4 · outbound

This paper cites Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version).

Volition Elicitation: Operational Semantics for People and Their Machines Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:30.391209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9450165-1260-4f55-9116-3e4ff360cd50 · outbound

This paper cites Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version).

Volition Elicitation: Operational Semantics for People and Their Machines Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version)

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:30.568567Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1fc9681b-fffc-47c7-82f8-9950efb390df · outbound

This paper cites Foundations for grassroots democratic metaverse.

Volition Elicitation: Operational Semantics for People and Their Machines Foundations for grassroots democratic metaverse

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:30.625453Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2eddf3c-eb16-42fc-8cf4-f407abc758e1 · outbound

This paper cites TopHat: A formal foundation for task-oriented programming.

Volition Elicitation: Operational Semantics for People and Their Machines TopHat: A formal foundation for task-oriented programming

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:30.796496Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2926b466-34b6-4454-96b1-77b4403653fc · outbound

This paper cites Why interaction is more powerful than algorithms.Communications of the ACM, 40(5):80–91, 1997.

Volition Elicitation: Operational Semantics for People and Their Machines Why interaction is more powerful than algorithms.Communications of the ACM, 40(5):80–91, 1997

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:30.961411Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3755b5d0-4e6f-4e26-8f8f-fc836806eb13 · outbound

This paper cites Springer, 2017.

Volition Elicitation: Operational Semantics for People and Their Machines Springer, 2017

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:31.043800Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1f43420-de33-4175-8e40-4ee9cbd97ff9 · outbound

This paper cites Pierce, and Steve Zdancewic.

Volition Elicitation: Operational Semantics for People and Their Machines Pierce, and Steve Zdancewic

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:31.133208Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 145aa08c-4734-420b-9c9f-0bc9fcd26f0e · outbound

This paper cites an unresolved cited work.

Volition Elicitation: Operational Semantics for People and Their Machines Unresolved cited work

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:30.667564Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86787041-33b1-40ff-9b51-d16f8e23c99d · outbound

This paper cites an unresolved cited work.

Volition Elicitation: Operational Semantics for People and Their Machines Unresolved cited work

Reference 2026

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:30.239061Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.