Paper Citation Record · LEDGER

Guided Object-Oriented Development

As of 13 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:2411.13200.

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

pith.paper-citation-record.v1
2411.13200 v1

Coverage vector

measured 45 of 45 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T16:47:17.360591Z

measured 45 of 45 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+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

45 of 45 outbound references displayed

verified exact2
verified fuzzy32
unresolved11
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0d636a2e-40a6-49ea-8b81-2864a6f20585 · outbound

This paper cites Towards a tool to support students through procedural program- ming guidance.

Guided Object-Oriented Development Towards a tool to support students through procedural program- ming guidance

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:18.081894Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation dd30f0c6-dfe8-4175-b24d-8a812130d27e · outbound

This paper cites Test-driven development: by example.

Guided Object-Oriented Development Test-driven development: by example

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:18.066395Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 82358920-b124-454b-918d-38288fcb0431 · outbound

This paper cites an unresolved cited work.

Guided Object-Oriented Development Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:47:18.051231Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 63b7de32-ff36-4d06-9dd6-5e19e03b0cdc · outbound

This paper cites Bijlsma, N.

Guided Object-Oriented Development Bijlsma, N

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:18.034740Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 86ec3474-71b4-4fce-82a3-8aabeea9865d · outbound

This paper cites Bijlsma, H.J.M.

Guided Object-Oriented Development Bijlsma, H.J.M

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:18.018242Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 58d59afd-f345-4341-b868-8d19b5b9eb85 · outbound

This paper cites an unresolved cited work.

Guided Object-Oriented Development Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:47:18.003142Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation c2b8aaf5-a451-4f48-acc1-78055fdf9d4a · outbound

This paper cites The unified modeling language user guide.

Guided Object-Oriented Development The unified modeling language user guide

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.987549Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation e4825bda-5a05-4140-a91d-722efe403077 · outbound

This paper cites Improving students' code correctness and test completeness by informal specifications.

Guided Object-Oriented Development Improving students' code correctness and test completeness by informal specifications

Reference 8

Resolution: verified exact; local_arxiv, observed 2026-08-12T16:47:17.429299Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 4b6a7271-4548-43ac-92cf-89e9174a19b1 · outbound

This paper cites an unresolved cited work.

Guided Object-Oriented Development Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:47:17.972310Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b25f768e-eb62-45e6-85fd-cc831b6fdaec · outbound

This paper cites Systematic testing should not be a topic in the com- puter science curriculum! ACM Sigcse Bulletin , pages 7–10, 09 2003.

Guided Object-Oriented Development Systematic testing should not be a topic in the com- puter science curriculum! ACM Sigcse Bulletin , pages 7–10, 09 2003

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.955558Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 5a100cde-a663-4ea0-ad45-63b21cd5d5ff · outbound

This paper cites A Discipline of Programming.

Guided Object-Oriented Development A Discipline of Programming

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T16:47:17.202776Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9017e35-9799-477a-beea-111582c73143 · outbound

This paper cites an unresolved cited work.

Guided Object-Oriented Development Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:47:17.929371Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation d740e07f-8f64-4606-9dd9-a9b4967e23d5 · outbound

This paper cites an unresolved cited work.

Guided Object-Oriented Development Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:47:17.913944Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation dfcf49fe-aecd-4a77-b3cc-9152d15db716 · outbound

This paper cites Edwards and Z.

Guided Object-Oriented Development Edwards and Z

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.899442Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 6fff043a-84bc-405a-a50f-22918712ec75 · outbound

This paper cites How to Design Programs.

Guided Object-Oriented Development How to Design Programs

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.884854Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 4c42064a-462d-4244-acf5-faa65a5487c0 · outbound

This paper cites Gegg-Harrison, Gary R.

Guided Object-Oriented Development Gegg-Harrison, Gary R

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.869777Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation bd9aebb6-9a63-406c-a9c0-527d0f174b1f · outbound

This paper cites Ghezzi, M.

Guided Object-Oriented Development Ghezzi, M

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.854384Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation edd3acf5-acff-43da-a426-e8745e4da6c9 · outbound

This paper cites The Science of Programming.

Guided Object-Oriented Development The Science of Programming

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.839534Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 06ce5ec9-893e-4305-9252-a28109fb4309 · outbound

This paper cites Java unit testing with JUnit 5.

Guided Object-Oriented Development Java unit testing with JUnit 5

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.824579Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 603521d6-8ceb-445f-8a53-caf8794e0d28 · outbound

This paper cites an unresolved cited work.

Guided Object-Oriented Development Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:47:17.809882Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 76a6f04c-435e-46bf-b724-c3a6b40eb70c · outbound

This paper cites Software testing: a craftsman ’s approach.

Guided Object-Oriented Development Software testing: a craftsman ’s approach

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.795051Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 20dc8f70-0b64-4ff4-b7e4-f21e6aef0eaf · outbound

This paper cites Kruchten.

Guided Object-Oriented Development Kruchten

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.780509Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 9b57f589-e6de-4b60-97d2-8c121998a38e · outbound

This paper cites an unresolved cited work.

Guided Object-Oriented Development Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:47:17.765321Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 5804278f-0ef0-41d6-a060-665f563cd48a · outbound

This paper cites Leavens and C.

Guided Object-Oriented Development Leavens and C

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.750161Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation bf77f4b0-c0e9-4686-86c4-dbd7eca2fda8 · outbound

This paper cites Rustan M.

Guided Object-Oriented Development Rustan M

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.735178Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation d3ed3985-233f-4928-a82c-b760bcb63f55 · outbound

This paper cites Program Proofs.

Guided Object-Oriented Development Program Proofs

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.720123Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation aa758baf-f59b-4b40-86f1-31f916811548 · outbound

This paper cites Rustan M.

Guided Object-Oriented Development Rustan M

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.705722Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 84ee4ab4-49c7-45e5-9374-ccf8d1e46abc · outbound

This paper cites The Dafny Integrated Development Environment.

Guided Object-Oriented Development The Dafny Integrated Development Environment

Reference 28

Resolution: verified exact; local_arxiv, observed 2026-08-12T16:47:17.406319Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 5a1c0d84-b226-4e79-896a-3f51cc602c3f · outbound

This paper cites Program Development in Java: Abstrac- tion, Specification, and Object-Oriented Design.

Guided Object-Oriented Development Program Development in Java: Abstrac- tion, Specification, and Object-Oriented Design

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.689756Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation f45127ef-8f6b-44e8-94b5-158dc17d35a1 · outbound

This paper cites Ab- straction mechanisms in clu.

Guided Object-Oriented Development Ab- straction mechanisms in clu

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.674333Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation a5c3f5aa-9f2b-4232-b58f-528d8a5131a1 · outbound

This paper cites Liskov and Jeannette M.

Guided Object-Oriented Development Liskov and Jeannette M

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.658174Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation a30950c8-aa61-492d-8dc5-c676fb227e9d · outbound

This paper cites Integrating specification-based review and testing for detect- ing errors in programs.

Guided Object-Oriented Development Integrating specification-based review and testing for detect- ing errors in programs

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.643445Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation e1fc5ec5-aea5-44c5-bbaa-d706287cafff · outbound

This paper cites Merri¨ enboer and Paul A.

Guided Object-Oriented Development Merri¨ enboer and Paul A

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.626425Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 7f2bf729-59b4-4858-86a7-f3d01d915cef · outbound

This paper cites Object-Oriented Software Construction.

Guided Object-Oriented Development Object-Oriented Software Construction

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.611613Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation c7d4c177-26f6-4049-927f-778c7811716a · outbound

This paper cites Design by Contract.

Guided Object-Oriented Development Design by Contract

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.595661Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 49dca5ee-29a6-4abf-b7f9-4fad1c5d050c · outbound

This paper cites Programming from Specifications.

Guided Object-Oriented Development Programming from Specifications

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.580103Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 664350b3-9b60-4772-973f-09cd7f7c05d2 · outbound

This paper cites an unresolved cited work.

Guided Object-Oriented Development Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:47:17.564082Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 9759d236-a75c-4f04-be2a-6f95e3184ada · outbound

This paper cites Paige and Jonathan S.

Guided Object-Oriented Development Paige and Jonathan S

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.549740Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 0e26975d-9851-4978-a9df-5c863dbff9a0 · outbound

This paper cites Precise documentation: The key to better software.

Guided Object-Oriented Development Precise documentation: The key to better software

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.535881Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation a7fd883e-2304-41d2-9d31-bbd33216eb0b · outbound

This paper cites an unresolved cited work.

Guided Object-Oriented Development Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:47:17.521966Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation c0fbf2e0-299c-4437-b68e-974c837a3caf · outbound

This paper cites Specification based OO-development: Procedural guidance.

Guided Object-Oriented Development Specification based OO-development: Procedural guidance

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.507012Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 94714a0e-8a27-4a84-97c7-a1c2751d3dbd · outbound

This paper cites Exploring stu- dents’ understanding of the concept of algorithm: levels of abstraction.

Guided Object-Oriented Development Exploring stu- dents’ understanding of the concept of algorithm: levels of abstraction

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.491243Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation deb83217-5c66-49ac-a263-39d71fd12a3f · outbound

This paper cites Teaching cps foundations with contracts.

Guided Object-Oriented Development Teaching cps foundations with contracts

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.474775Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 916adf47-a4dd-41a3-9ef8-923d14d46856 · outbound

This paper cites Furia, Yu Pei, Yi Wei, and Bertrand Meyer.

Guided Object-Oriented Development Furia, Yu Pei, Yi Wei, and Bertrand Meyer

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:47:17.459665Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation a595397e-ba1f-4d94-940d-b1856287ec85 · outbound

This paper cites an unresolved cited work.

Guided Object-Oriented Development Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:47:17.444771Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Pith citing papers

No inbound Pith citation observations are available.